[coreboot] [PATCH] Convert print_* to printk_* in K8 RAM init