Index: generic/src/main/kconsole.c
===================================================================
--- generic/src/main/kconsole.c	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
+++ generic/src/main/kconsole.c	(revision 78c32b48fc778a57e7f34682d7857b92cd4ef930)
@@ -50,4 +50,5 @@
 		printf("%s> ", __FUNCTION__);
 		gets(stdin, buf, sizeof(buf));
+		printf("?\n");
 	}
 }
Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
+++ generic/src/main/kinit.c	(revision 78c32b48fc778a57e7f34682d7857b92cd4ef930)
@@ -118,4 +118,9 @@
 
 	/*
+	 * At this point SMP, if present, is configured.
+	 */
+	arch_post_smp_init();
+
+	/*
 	 * Create kernel console.
 	 */
@@ -165,5 +170,5 @@
 
 	while (1) {
-		thread_sleep(60);
+		thread_sleep(1);
 		printf("kinit... ");
 	}
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
+++ generic/src/main/main.c	(revision 78c32b48fc778a57e7f34682d7857b92cd4ef930)
@@ -171,5 +171,4 @@
 	arch_pre_smp_init();
 	smp_init();
-	arch_post_smp_init();
 	printf("config.memory_size=%dM\n", config.memory_size/(1024*1024));
 	printf("config.cpu_count=%d\n", config.cpu_count);