Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision cf3a905cae8433ab4e89de18f9432cc8cbaa8deb)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision f89204ee0a3534e30bb9936dc9a0cb7d7bf43303)
@@ -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;