Re: [SeaBIOS] [coreboot] More SeaBIOS timings