Re: [PATCH v3 2/3] efi: Allow use of malloc() for the EFI pool