Procure as linhas que começam com CONFIG_HZ = nesses arquivos:
/boot/config-$(uname -r)
/boot/config
/proc/config.gz
Nota: se o último arquivo estiver faltando, tente carregá-lo com
modprobe configs
Última chance: google para a ferramenta extract-ikconfig (desculpe, eu não tentei).