Index: src/cpu/cpu.c
===================================================================
--- src/cpu/cpu.c	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ src/cpu/cpu.c	(revision 43114c515872442297f5b1b8a327743ef24c825a)
@@ -28,4 +28,5 @@
 
 #include <cpu.h>
+#include <arch.h>
 #include <arch/cpu.h>
 #include <mm/heap.h>
@@ -85,5 +86,5 @@
 	#endif /* __SMP__ */
 	
-	the->cpu = &cpus[config.cpu_active-1];	
+	CPU = &cpus[config.cpu_active-1];	
 	cpu_identify();
 	cpu_arch_init();