Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision b14e35f21d106227a205a0ef257dff8643000ec4)
+++ kernel/generic/src/ipc/irq.c	(revision d7baee61b7e0ef91ce4828e0e32c18c917b49a87)
@@ -106,5 +106,5 @@
 			break;
 #endif
-#if defined(ia64) 
+#if defined(ia64) && defined(SKI)
 		case CMD_IA64_GETCHAR:
 			dstval = _getc(&ski_uconsole);