[SeaBIOS] [PATCH V2 4/8] Implementation of the TCG BIOS extensions