[SeaBIOS] [PATCH 2/2] tpm: Write logs in TPM 2 format