Index: kernel/arch/arm32/include/machine.h
===================================================================
--- kernel/arch/arm32/include/machine.h	(revision 9446f39954821a64d8b4c4a6a6b597fa101b555f)
+++ kernel/arch/arm32/include/machine.h	(revision 0c33687a0010b5f04f4745b1349e77b466511af0)
@@ -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
Index: kernel/arch/arm32/src/console.c
===================================================================
--- kernel/arch/arm32/src/console.c	(revision 9446f39954821a64d8b4c4a6a6b597fa101b555f)
+++ kernel/arch/arm32/src/console.c	(revision 0c33687a0010b5f04f4745b1349e77b466511af0)
@@ -51,5 +51,4 @@
 	fb_redraw();
 #endif
-	machine_grab_console();
 }
 
@@ -57,5 +56,4 @@
 void arch_release_console(void)
 {
-	machine_release_console();
 }
 
Index: kernel/arch/arm32/src/drivers/gxemul.c
===================================================================
--- kernel/arch/arm32/src/drivers/gxemul.c	(revision 9446f39954821a64d8b4c4a6a6b597fa101b555f)
+++ kernel/arch/arm32/src/drivers/gxemul.c	(revision 0c33687a0010b5f04f4745b1349e77b466511af0)
@@ -35,5 +35,4 @@
 
 #include <interrupt.h>
-#include <ipc/irq.h>
 #include <console/chardev.h>
 #include <arch/drivers/gxemul.h>
@@ -205,27 +204,4 @@
 }
 
-
-/** Acquire console back for kernel. */
-void gxemul_grab_console(void)
-{
-	ipl_t ipl = interrupts_disable();
-	spinlock_lock(&gxemul_console_irq.lock);
-	gxemul_console_irq.notif_cfg.notify = false;
-	spinlock_unlock(&gxemul_console_irq.lock);
-	interrupts_restore(ipl);
-}
-
-/** Return console to userspace. */
-void gxemul_release_console(void)
-{
-	ipl_t ipl = interrupts_disable();
-	spinlock_lock(&gxemul_console_irq.lock);
-	if (gxemul_console_irq.notif_cfg.answerbox) {
-		gxemul_console_irq.notif_cfg.notify = true;
-	}
-	spinlock_unlock(&gxemul_console_irq.lock);
-	interrupts_restore(ipl);
-}
-
 /** Initializes console object representing gxemul console.
  *