Mille excuses, je ne m'étais pas aperçu que le noyau correspondait à une version FC2, au sein de laquelle SElinux n'est pas déployé...
Mes questions étaient donc sans objet.
La recherche dans bugzilla ne donne rien ...
https://bugzilla.redhat.com/bugzilla/query.cgi?format=simple