defconfig: disable SELinux