[SeaBIOS] [PATCH v10 2/6] Implementation of the TCG BIOS extensions