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