defconfigs: Enable SELinux