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