Index: arch/ppc32/src/console.c
===================================================================
--- arch/ppc32/src/console.c	(revision 6095342f82cb691572e06dbe4aef66ee04a8d94a)
+++ arch/ppc32/src/console.c	(revision 442d0aeb342e54043423f7947dea7e7733bab9d5)
@@ -27,5 +27,5 @@
  */
 
-#include <putchar.h>
+#include <arch/console.h>
 #include <genarch/ofw/ofw.h>
 #include <console/chardev.h>
@@ -36,18 +36,18 @@
  * @param ch Character to be printed.
  */
-static void ofw_write(chardev_t *d, const char ch)
+static void ofw_ppc32_putchar(chardev_t *d, const char ch)
 {
 	ofw_putchar(ch);
 }
 
-chardev_t ofw_console;
-static chardev_operations_t ofw_ops = {
-	.write = ofw_write
+static chardev_t ofw_ppc32_console;
+static chardev_operations_t ofw_ppc32_console_ops = {
+	.write = ofw_ppc32_putchar
 };
 
 /** Initialize console to use ofw output */
-void console_init(void)
+void ofw_ppc32_console_init(void)
 {
-	chardev_initialize("ofw_out", &ofw_console, &ofw_ops);
-	stdout = &ofw_console;
+	chardev_initialize("ofw_out", &ofw_ppc32_console, &ofw_ppc32_console_ops);
+	stdout = &ofw_ppc32_console;
 }
Index: arch/ppc32/src/ppc32.c
===================================================================
--- arch/ppc32/src/ppc32.c	(revision 6095342f82cb691572e06dbe4aef66ee04a8d94a)
+++ arch/ppc32/src/ppc32.c	(revision 442d0aeb342e54043423f7947dea7e7733bab9d5)
@@ -28,7 +28,9 @@
 
 #include <arch.h>
+#include <arch/console.h>
 
 void arch_pre_mm_init(void)
 {
+	ofw_ppc32_console_init();
 }