[PATCH] SELinux: fix deadlock on dcache lock