Re: [coreboot] Where does printk() message go in coreboot source code