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