Fix selinux_defconfig