SELinux: flush the avc before disabling SELinux