No entanto, esse script
watch -n 1 'for i in $(seq 0 7); do cat /sys/devices/system/cpu/cpu$i/cpufreq/scaling_cur_freq; done;'
mostra que o turboboost está funcionando e tudo bem.
A coisa mais estranha é que o BIOS mostra frequência constante de CPU também !!! (3400Mhz)
Configuração:
Ubuntu 16.04.4 LTS
4.13.0-36-generic
i7-6700
UPDATE
Após a atualização para a versão mais recente de um BIOS (2018), nada mudou.
UPDATE
O mesmo acontece no meu laptop com configuração idêntica, exceto CPU-7820HQ.