64 bit EFI