Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision bcdd9aaa2b06e0698f837f3dd463b72dbb23dfb9)
+++ src/main/main.c	(revision b45aa23d279bad73e16876db71ef1430050338a4)
@@ -180,5 +180,4 @@
 	t = thread_create(kinit, NULL, k, 0);
 	if (!t) panic("can't create kinit thread\n");
-
 	thread_ready(t);
 
@@ -211,4 +210,9 @@
 	config.cpu_active++;
 
+	/*
+	 * The THE structure is well defined because ctx.sp is used as stack.
+	 */
+	the_initialize(THE);
+
 	arch_pre_mm_init();
 	frame_init();
@@ -222,4 +226,5 @@
 	l_apic_debug();
 
+	the_copy(THE, (the_t *) CPU->stack);
 
 	/*