Re: [PATCH 4/6] efi: Avoid pool allocation in efi_get_memory_map_alloc()