Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 1fbbcd6bcfe6d5e18e5d5fb5f9e78adde6415dc3)
+++ src/main/main.c	(revision 6f878b7f8f690c03fd4845753fceded48eb3a073)
@@ -135,8 +135,5 @@
 	thread_t *t;
 
-	THE->preemption_disabled = 0;
-	THE->cpu = NULL;
-	THE->thread = NULL;
-	THE->task = NULL;
+	the_initialize(THE);
 
 	arch_pre_mm_init();