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