defconfig: disable selinux in kernel