Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 04c35fcac1c020178f0c05da7cda7fd1292902cc)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision a01f7320d7baed06438e7cde66ccddacc299ba1d)
@@ -107,5 +107,5 @@
 	int count = POLL_LIMIT;
 
-	if (ski_parea.mapped)
+	if (ski_parea.mapped && !console_override)
 		return;
 
@@ -205,5 +205,5 @@
 static void ski_putwchar(outdev_t *dev, wchar_t ch)
 {
-	if (ski_parea.mapped)
+	if (ski_parea.mapped && !console_override)
 		return;