Re: [PATCH] efi_loader: Use %pD to log device-path instead of local efi_dp_str()