efi_loader: correct parameter size in efi_allocate_pool