[SeaBIOS] [PATCH 7/8] tpm: Merge tpm_log_event() and tpm_extend_acpi_log()