Re: [coreboot] printing TSC in printk