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