[U-Boot] [PATCH 05/18] efi: Fix efi_uintn_t for 64-bit EFI payload