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