Re: [SeaBIOS] [PATCH v2 3/3] Add a menu for TPM control