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