Re: [coreboot] Strange corruption with printk