Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 821cc933bb47a68b3a1cf7ff1f4725d46116f16e)
+++ kernel/generic/src/console/console.c	(revision 9701d49a574c992db9dff0fef7dde0e5c856089f)
@@ -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');
 }