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