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