providers: linux: partial sched_switch() implementation