efi/libstub/x86: Avoid getter function for efi_is64