Index: kernel/arch/arm32/include/console.h
===================================================================
--- kernel/arch/arm32/include/console.h	(revision 3014e2b2dbd2a91eca5a7cd089b6f4e0352ffda0)
+++ kernel/arch/arm32/include/console.h	(revision 901cda309c35ea9d182b92e61670a66e9081b43f)
@@ -37,11 +37,4 @@
 #define KERN_arm32_CONSOLE_H_
 
-
-/** Initializes console.
- *
- * @param devno Console device number.
- */
-extern void console_init(devno_t devno);
-
 #endif
 
Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 3014e2b2dbd2a91eca5a7cd089b6f4e0352ffda0)
+++ kernel/arch/arm32/src/arm32.c	(revision 901cda309c35ea9d182b92e61670a66e9081b43f)
@@ -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 3014e2b2dbd2a91eca5a7cd089b6f4e0352ffda0)
+++ kernel/arch/arm32/src/console.c	(revision 901cda309c35ea9d182b92e61670a66e9081b43f)
@@ -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)