Re: [coreboot] Timing via serial port