Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 5c8ba0560c7265268758fc38bc65760c0b301f98)
+++ kernel/generic/src/console/cmd.c	(revision b8f11baa46965e8fdd2b64a92dc659e89c8b5243)
@@ -646,4 +646,7 @@
 	count_t i;
 	for (i = 0; i < config.cpu_count; i++) {
+		if (!cpus[i].active)
+			continue;
+		
 		thread_t *t;
 		if ((t = thread_create((void (*)(void *)) cmd_call0, (void *) argv, TASK, THREAD_FLAG_WIRED, "call0", false))) {