Index: kernel/arch/arm32/include/machine.h
===================================================================
--- kernel/arch/arm32/include/machine.h	(revision 1e23e1606ce0db1b69b7ef358deb4ae88ea16f0b)
+++ kernel/arch/arm32/include/machine.h	(revision 7919cd502f95d0601ec48760744af644656dfb4f)
@@ -105,6 +105,4 @@
 #ifdef MACHINE_gxemul
 	#define machine_console_init(devno)            gxemul_console_init(devno)
-	#define machine_grab_console                   gxemul_grab_console
-	#define machine_release_console                gxemul_release_console 
 	#define machine_hw_map_init                    gxemul_hw_map_init
 	#define machine_timer_irq_start                gxemul_timer_irq_start