SELinux: reset the security_ops before flushing the avc cache