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