system-config-selinux doesn't show policy modules