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