Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision 1023758e799d109dbcf6071b11193555ec834a61)
+++ kernel/generic/include/cpu.h	(revision 7f0580d3f67409f7cdbf11fe2896799c9562dbf5)
@@ -90,5 +90,5 @@
 	
 	bool active;
-	bool tlb_active;
+	volatile bool tlb_active;
 	
 	uint16_t frequency_mhz;