HP Pavilion dm1-4310: SSD installation, and fun with EFI Boot