[PATCH v8 21/25] x86: efi: Tweak the code used for the 64-bit EFI app