SELinux: do not destroy the avc_cache_nodep