Re: [coreboot] Some SeaBIOS timings