[PATCH v5 24/28] x86: efi: Tweak the code used for the 64-bit EFI app