[SeaBIOS] [PATCH v2 08/10] tpm: Implement tpm20_menu