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 a0765f68e5b9467a76da8408c7b8e587e8a5b938)
@@ -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;