SELinux: seperate avc_cache flushing