[SeaBIOS] Re: [PATCH 1/3] tcgbios: Only write logs for PCRs that are in active PCR banks