add KASSERT to do_waitpid and change return -EINTR