Re: [PATCH libdrm] libdrm/amdgpu: add interface for kernel semaphores