Edit File: tpm_eventlog.h