[U-Boot] [U-Boot, v4, 3/7] efi_loader: Move efi_allocate_pool implementation to efi_memory.c

[Alexander Graf]

> We currently handle efi_allocate_pool() in our boot time service
> file. In the following patch, pool allocation will receive additional
> internal semantics that we should preserve inside efi_memory.c instead.
> 
> As foundation for those changes, split the function into an externally
> facing efi_allocate_pool_ext() for use by payloads and an internal helper
> efi_allocate_pool() in efi_memory.c that handles the actual allocation.
> 
> While at it, change the magic 0xfff / 12 constants to the more obvious
> EFI_PAGE_MASK/SHIFT defines.
> 
> Signed-off-by: Stefan Brüns <stefan.bruens at rwth-aachen.de>
> Reviewed-by: Alexander Graf <agraf at suse.de>

Thanks, applied to