[SeaBIOS] [PATCH V1 3/8] Implementation of the TCG BIOS extensions