[coreboot] [coreboot - Feature #420] Use standard format of TPM event log