[PATCH v6 23/27] x86: efi: Tweak the code used for the 64-bit EFI app