[SeaBIOS] [PATCH 5/6] tpm: Clean up in tcgbios.h