Defconfig: SELinux support