having said the kernel is running nice, i found something in dmesg:
[ 0.000000] Initializing cgroup subsys cpuset
[ 0.000000] Initializing cgroup subsys cpu
[ 0.000000] Linux version 3.7.2-gnu (root@pc) (gcc version 4.6.1
(Ubuntu/Linaro 4.6.1-9ubuntu3) ) #1 SMP Sun Jan 13 09:47:07 PST 2013
[ 0.000000] Command line: BOOT_IMAGE=/vmlinuz-3.7.2-gnu
root=/dev/mapper/vg_trisquel-root ro allow-discards root_trim=yes
[ 0.000000] KERNEL supported cpus:
[ 0.000000] Intel GenuineIntel
[ 0.000000] AMD AuthenticAMD
[ 0.000000] Centaur CentaurHauls
.
.
.
[ 18.749967] microcode: CPU1 sig=0x306a9, pf=0x2, revision=0x12
[ 18.749971] microcode: Missing Free firmware
[ 18.751581] microcode: CPU2 sig=0x306a9, pf=0x2, revision=0x12
[ 18.751583] microcode: Missing Free firmware
[ 18.752413] microcode: CPU3 sig=0x306a9, pf=0x2, revision=0x12
[ 18.752415] microcode: Missing Free firmware
[ 18.754136] microcode: CPU4 sig=0x306a9, pf=0x2, revision=0x12
[ 18.754139] microcode: Missing Free firmware
[ 18.755370] microcode: CPU5 sig=0x306a9, pf=0x2, revision=0x12
[ 18.755373] microcode: Missing Free firmware
[ 18.756198] microcode: CPU6 sig=0x306a9, pf=0x2, revision=0x12
[ 18.756200] microcode: Missing Free firmware
[ 18.756889] microcode: CPU7 sig=0x306a9, pf=0x2, revision=0x12
[ 18.756892] microcode: Missing Free firmware
[ 18.757565] microcode: Microcode Update Driver: v2.00 , Peter Oruba
the missing-free-firmware part makes me worry. this is on an Intel i7 3770K
CPU. shouldn't the micro code be free and available to the kernel?
