EFI_CC_FINAL_EVENTS_TABLE_GUID
{EFI_CC_FINAL_EVENTS_TABLE_GUID, &efi.tpm_final_log, "CCFinalLog" },
get_efi_config_table(EFI_CC_FINAL_EVENTS_TABLE_GUID);