pthread: Implement POSIX semaphores with uth sems (XCC)