C´est vrai çà, on y pense jamais à ce pauvre kernel...
Donc vous préfèrez le manger à quelle sauce (en supposant que vous ne vous contentiez pas de celui fourni par votre distribution, bien sûr) ?
Pour ma part : kernel à la vanille + patch -ck, je suis en train d´étudier pax/grsecurity qui semblent également fort intéressants (bien plus que ce selinux tout moisi, en tout cas) 