Re: [PATCH 5/6] efi: Use malloc() for the EFI pool