posix: move posix semaphore in posix module