Re: [PATCH 3/5] efi_loader: use correct type for AllocatePages, AllocatePool