[SeaBIOS] [PATCH V7 4/9] Implementation of the TCG BIOS extensions