delos3geur: update defconfig for selinux