docs: convert kref semaphore to mutex