Re: [U-Boot] [PATCH v2 7/9] efi_loader: consistently use efi_uintn_t in boot services