blueswirl's latest console patches.


git-svn-id: svn://coreboot.org/openbios/openbios-devel@72 f158a5a8-5612-0410-a976-696ce0be7e32
diff --git a/kernel/forth.c b/kernel/forth.c
index 8fb2688..860ff70 100644
--- a/kernel/forth.c
+++ b/kernel/forth.c
@@ -593,7 +593,7 @@
 	const ucell *aaddr = (ucell *)cell2pointer(POP());
 	const ucell x = POP();
 #ifdef CONFIG_DEBUG_INTERNAL
-	printf("!: %lx : %lx -> %lx\n", aaddr, read_ucell(aaddr), x);
+	printk("!: %lx : %lx -> %lx\n", aaddr, read_ucell(aaddr), x);
 #endif
 	write_ucell(aaddr,x);
 }