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