Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision d95f1e24a3ed2800461f743a8f9c97803cacd0a1)
+++ kernel/generic/src/console/cmd.c	(revision 8513ad77da21520006dc3e18de1e95a2b6f59c6f)
@@ -803,6 +803,4 @@
 	printf("Use userspace controls to redraw the screen.\n");
 	arch_release_console();
-	/* TODO: send some vitual IRQ */
-	ipc_irq_send_msg(NULL, 0, 0, 0);
 	return 1;
 }