Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision 609f8d9c6d0e72a0c344e3c83a606bc97d14af74)
+++ kernel/generic/include/cpu.h	(revision 84b8936de9e03805b6c9c2bfcdc43240c3363155)
@@ -90,5 +90,5 @@
 	
 	bool active;
-	bool tlb_active;
+	volatile bool tlb_active;
 	
 	uint16_t frequency_mhz;