efi_loader: Move efi_allocate_pool implementation to efi_memory.c