Symbol: efi_tpm_eventlog_init