[PATCH] move_task_off_dead_cpu() should be called with disabled ints