[SeaBIOS] [PATCH] tpm: fix compiler error with older gcc versions