Index: kernel/arch/arm32/include/console.h
===================================================================
--- kernel/arch/arm32/include/console.h	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
+++ kernel/arch/arm32/include/console.h	(revision 1c6b3a21d2eba83ec0ca710845ee3a0c33cf353b)
@@ -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 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)