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