Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision fa7450cfb2374cf51c3afea354ff4f324e2d3ae1)
+++ generic/src/main/kinit.c	(revision 96cacc151c2f49c7146a7f6e2384a276d4f1ffe3)
@@ -70,5 +70,4 @@
 {
 	thread_t *t;
-	int i;
 #ifdef CONFIG_USERSPACE
 	vm_t *m;
@@ -101,13 +100,10 @@
 	 * Now that all CPUs are up, we can report what we've found.
 	 */
-	for (i = 0; i < config.cpu_count; i++) {
-		if (cpus[i].active)
-			cpu_print_report(&cpus[i]);
-		else
-			printf("cpu%d: not active\n", i);
-	}
+	cpu_list();
 
 #ifdef CONFIG_SMP
 	if (config.cpu_count > 1) {
+		int i;
+		
 		/*
 		 * For each CPU, create its load balancing thread.