Index: kernel/test/debug/mips1.c
===================================================================
--- kernel/test/debug/mips1.c	(revision b15c9f9d101e4e5f77d50eb9391e1ea614f0e542)
+++ kernel/test/debug/mips1.c	(revision 0258e67a9860351d5c8ebbc0ba42775dc5966c35)
@@ -39,8 +39,8 @@
 #include <arch.h>
 
-char * test_mips1(bool quiet)
+char *test_mips1(bool quiet)
 {
 	if (!quiet)
-		printf("You should enter kconsole debug mode now.\n");
+		printf("If kconsole is compiled in, you should enter debug mode now.\n");
 	
 	asm volatile (