Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
+++ kernel/arch/arm32/src/arm32.c	(revision 9482bf0b153f18faf227ea7add26b4a3ef08cd90)
@@ -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 9482bf0b153f18faf227ea7add26b4a3ef08cd90)
@@ -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)