Re: [SeaBIOS] [PATCH] tpm: Add a menu for TPM configuration