Re: [coreboot] Where does printk(DEBUG, "msg") go after booting?