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);
}