Re: [coreboot] v3 printk on SMP