Implemented KASSERT in sched.c, kthread.c,kmutex.c