defconfig: enable selinux