diff --git a/src/kernel/core/debug.c b/src/kernel/core/debug.c
index d7f460ffa1..0b7aa7a29a 100644
--- a/src/kernel/core/debug.c
+++ b/src/kernel/core/debug.c
@@ -313,9 +313,9 @@ dbg_puts(const char *s)
 static int
 cmd_reboot(int argc, char **argv)
 {
-	reboot();
+	shutdown(true);
 	return 0;
-		// I'll be really suprised if this line ever run! ;-)
+		// I'll be really suprised if this line ever runs! ;-)
 }