update defconfig for selinux support