SELinux: Remove unused selinux_is_enabled