fix up selinux defconfig