Re: [PATCH v5 17/23] efi_loader: Show the address for pool allocations