[PATCH] SELinux: convert sbsec semaphore to a mutex