Index: generic/include/cpu.h
===================================================================
--- generic/include/cpu.h	(revision 515854917f1f69363029e17a61330d8adba4ac06)
+++ generic/include/cpu.h	(revision 444ec64e8e2332fc99ef4845e8a6838d5afdb5f4)
@@ -51,5 +51,5 @@
 	context_t saved_context;
 
-	volatile count_t nrdy;
+	atomic_t nrdy;
 	runq_t rq[RQ_COUNT];
 	volatile count_t needs_relink;