[coreboot] Strange corruption with printk