- fix system call return bug
- remove kernel assert from semaphore