fix sched_switch handling

Signed-off-by: Julien Desfossez <jdesfossez@efficios.com>