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