[PATCH v2 1/3] efi: Allow use of malloc() for the EFI pool