ipc: sem_putref() does not need the semaphore lock any more