Re: [SeaBIOS] [PATCH v2 1/3] Add 'measurement' code to the BIOS