[PATCH] efi: stub: use a pool allocation for the cmdline

[Matt Fleming]

On Fri, 10 Apr, at 07:14:34PM, Ard Biesheuvel wrote:
> 
> It is not such a big deal: the memory is reclaimed anyway, I was just
> trying to reduce the fragmentation a bit, and trying to avoid
> efi_xxx_alloc() which are substantially heavier than calling
> allocate_pool() or allocate_pages() directly.

Out of curiosity, do you have any runtime numbers to backup the claim
that allocate_*() is substantially more lightweight?

-- 
Matt Fleming, Intel Open Source Technology Center