defconfigs: enable selinux support