Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 6eef3c4403b57fc01e6b79237e6cc0a6a6a7d016)
+++ kernel/generic/src/proc/thread.c	(revision 45cbcaf4ce5a2483493ef87a2f9a9859e3b72383)
@@ -277,5 +277,5 @@
 	
 	cpu_t *cpu;
-	if (thread->wired) {
+	if (thread->wired || thread->nomigrate || thread->fpu_context_engaged) {
 		ASSERT(thread->cpu != NULL);
 		cpu = thread->cpu;