c862d2e
Call fini_selinuxmnt if selinux is disabled, to cause is_selinux_disabled() to report correct data