[PATCH 6/9] ntdll: Add posix semaphore management code