EFI_SYSTBL_SIG
if (ST->st_hdr.th_sig != EFI_SYSTBL_SIG) {
PRIx64 ")\n", ST->st_hdr.th_sig, EFI_SYSTBL_SIG);
if (efi_systbl->st_hdr.th_sig != EFI_SYSTBL_SIG) {
.th_sig = EFI_SYSTBL_SIG,
if (efi_systbl->st_hdr.th_sig != EFI_SYSTBL_SIG)