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