[SeaBIOS] [PATCH] tcgbios: Fix details in log entries