Make it easier to enable SELinux in defconfig.