sched: fix sched_info_switch not being called according to documentation