[SeaBIOS] [PATCH 01/10] tpm: Add banner separating the TCG bios interface code from TCG menu code