defconfig: set default selinux config