Parece que funciona (para habilitar o P6 na inicialização), mas ninguém sabe;)
usando cpufreq-apref eu recebo:
CPU Average freq(KHz) Time in C0 Time in Cx C0 percentage
000 1254000 00 sec 027 ms 00 sec 972 ms 02
001 1254000 00 sec 044 ms 00 sec 955 ms 04
000 0893000 00 sec 087 ms 00 sec 912 ms 08
001 0893000 00 sec 088 ms 00 sec 911 ms 08
Então, parece que a CPU usa 900MHz, enquanto o tlp-stat não percebe, provavelmente usa uma maneira incorreta de reconhecer:
/sys/devices/system/cpu/cpu0/cpufreq/scaling_driver = acpi-cpufreq
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor = ondemand
/sys/devices/system/cpu/cpu0/cpufreq/scaling_min_freq = 1300000 [kHz]
/sys/devices/system/cpu/cpu0/cpufreq/scaling_max_freq = 1300000 [kHz]
/sys/devices/system/cpu/cpu0/cpufreq/scaling_available_frequencies = 1900000 1700000 1500000 1300000 [kHz]
Eu tenho tlp definido para min = 900MHz e max = 1300MHz. Então não há nada para se preocupar, eu acho.