[SeaBIOS] [PATCH v9 4/6] Add 'measurement' code to the BIOS