[PATCH 03/13] efi_loader: Show the resulting memory address from an alloc