Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision de33dab3d6e266b32bfcf983b683fc6d18b2ac72)
+++ kernel/generic/src/proc/thread.c	(revision 4365d108fca11d735aaf46f7098b7f1d5c2cbb52)
@@ -239,4 +239,5 @@
 	cpu = CPU;
 	if (t->flags & THREAD_FLAG_WIRED) {
+		ASSERT(t->cpu != NULL);
 		cpu = t->cpu;
 	}