[SeaBIOS] [PATCH V4 6/8] Add measurement code to the BIOS