Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 44b7783bb8246582bf48efb729a4de0c3085483b)
+++ kernel/generic/src/console/console.c	(revision 402de0c55e1244d9577ac32ddd4be299249808be)
@@ -127,4 +127,8 @@
 	silent = false;
 	arch_grab_console();
+	
+	/* Force the console to print the prompt */
+	if (stdin)
+		indev_push_character(stdin, '\n');
 }