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