Index: generic/src/proc/scheduler.c
===================================================================
--- generic/src/proc/scheduler.c	(revision 80d2bdbb59aff7f143abc484128e57a0c2b47e47)
+++ generic/src/proc/scheduler.c	(revision 2cf87e50d5dcd3aefbd08693599d8fca4149537d)
@@ -407,5 +407,5 @@
 	ipl = interrupts_disable();
 
-	if (haltstate)
+	if (atomic_get(&haltstate))
 		halt();