Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision 0f74869b097948cf47305f47d532161682eac285)
+++ kernel/arch/ia64/src/ski/ski.c	(revision f9f9a132b6bbf6fb3fbfbc90aa2f576c0bf1b017)
@@ -146,5 +146,5 @@
 		    ski_kbd_irq.notif_cfg.answerbox) {
 			chardev_push_character(&ski_uconsole, ch);
-			ipc_irq_send_notif(&ski_kbd_irq);
+			/* XXX: send notification to userspace */
 		} else {
 			chardev_push_character(&ski_console, ch);
@@ -160,5 +160,5 @@
 		    ski_kbd_irq.notif_cfg.answerbox) {
 			chardev_push_character(&ski_uconsole, 0);
-			ipc_irq_send_notif(&ski_kbd_irq);
+			/* XXX: send notification to userspace */
 		}
 		last = 0;