Re: [SeaBIOS] [PATCH] tpm: Disable TCGBIOS by default