Re: [PATCH] efi_loader: build warning in efi_tcg2.c