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