Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
+++ kernel/arch/arm32/src/arm32.c	(revision 1c6b3a21d2eba83ec0ca710845ee3a0c33cf353b)
@@ -83,5 +83,5 @@
 	interrupt_init();
 	
-	console_init(device_assign_devno());
+	machine_console_init(device_assign_devno());
 
 #ifdef CONFIG_FB
Index: kernel/arch/arm32/src/console.c
===================================================================
--- kernel/arch/arm32/src/console.c	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
+++ kernel/arch/arm32/src/console.c	(revision 1c6b3a21d2eba83ec0ca710845ee3a0c33cf353b)
@@ -40,9 +40,4 @@
 #include <genarch/fb/fb.h>
 
-void console_init(devno_t devno)
-{
-	machine_console_init(devno);
-}
-
 /** Acquire console back for kernel. */
 void arch_grab_console(void)