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