Deletion of sched_switch in do_waitpid