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 9c3038d4dbd35b5a7471af62fa120a4a1bcc39a8)
@@ -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;