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