defconfigs: Enable SELinux support