Se você está preocupado com quais módulos e recursos são compilados em seu kernel, você deve manter seu próprio kernel, compilado por você. O Debian tem um sistema chamado make_kpkg para facilitar este processo. Você pode copiar uma configuração estável de / boot para a nova árvore de origem do kernel e carregá-la em sua compilação personalizada, para que não seja necessário configurar tudo do zero. Então você tem total liberdade para varrer manualmente cada configuração de kernel, incluindo o SELinux.