correct selinux defconfig