Update selinux_defconfig