Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 821cc933bb47a68b3a1cf7ff1f4725d46116f16e)
+++ kernel/generic/src/console/console.c	(revision a31efeb643914cadd04b764124af1a7ab5087f6c)
@@ -125,9 +125,11 @@
 void grab_console(void)
 {
+	bool prev = silent;
+	
 	silent = false;
 	arch_grab_console();
 	
 	/* Force the console to print the prompt */
-	if (stdin)
+	if ((stdin) && (prev))
 		indev_push_character(stdin, '\n');
 }