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