Call sched_state_task_picked() from pick_next_task_stop()

Otherwise, the scheduler state machine becomes confused (and goes into
a rescheduling loop) when stop-machine is triggered.