The same CPU is assigned to a different process.

refs #423

kernel/process.c

@@ -2040,11 +2040,22 @@ redo:
 		}
 
 		/* No process? Run idle.. */
+		if (!next) {
+			list_for_each_entry_safe(proc, tmp, &(v->runq), sched_list) {
+				if (proc->ftn->status & (PS_INTERRUPTIBLE |
+				                         PS_UNINTERRUPTIBLE |
+				                         PS_STOPPED |
+				                         PS_TRACED)) {
+					next = proc;
+					break;
+				}
+			}
 			if (!next) {
 				next = &cpu_local_var(idle);
 				v->status = CPU_STATUS_IDLE;
 			}
 		}
+	}
 
 	if (prev != next) {
 		switch_ctx = 1;