[SeaBIOS] [PATCH V4 7/8] Add a menu for TPM control