Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 4b662f8c01914a3c25af983f9e3510fca9cbc9b9)
+++ kernel/generic/src/console/cmd.c	(revision 51ec40fa633067000ae92bcd7b38fde49fdfe205)
@@ -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))) {