SELinux: inline selinux_is_enabled in !CONFIG_SECURITY_SELINUX