Além do que o @Stephen Kitt disse, pelo menos no meu sistema Debian você pode encontrar as informações em:
/boot/config-<version>
Onde version, no meu caso, é:
3.16.0-4-686-pae
Então, emitindo:
less /boot/config-3.16.0-4-686-pae
Mostra as configurações do kernel em uma lista longa !