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