Adding semaphore support

Support of semaphore in the kernel will be convenient for various usage such as the networking subsystem based on lwip.