Index: src/cpu/cpu.c
===================================================================
--- src/cpu/cpu.c	(revision ad36bd6b718c19bc3e77af6d6f92441a3d17a4d1)
+++ src/cpu/cpu.c	(revision 0985addff658f3139fcb1abb936181169015cb3d)
@@ -83,4 +83,5 @@
 	
 	CPU->active = 1;
+	CPU->tlb_active = 1;
 	
 	cpu_identify();