[coreboot] [patch] K8 platforms should use PRINTK_IN_CAR