Re: [PATCH 1/1] efi_loader: use '%#x' instead of '0x%x'