Re: [coreboot] printk question