Re: EFI payload in 64 bit mode?