Re: [PATCH] efi_loader: efi_esrt: Fix the build warning for 32 bit systems