Re: [SeaBIOS] [PATCH v8 3/8] Implementation of the TCG BIOS extensions