Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 58a6d9978211abcec4de25c74bb5b77f680f2f32)
+++ 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;
 }