Comment 6 for bug 797996

Affects me as well on an Intel Haswell running on Ubuntu 13.10.

Details:

$ ls /sys/devices/system/cpu/cpu0/
cache crash_notes_size microcode subsystem uevent
cpuidle driver node0 thermal_throttle
crash_notes firmware_node power topology

$ uname -a
Linux lapt 3.11.0-14-generic #21-Ubuntu SMP Tue Nov 12 17:04:55 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux

$ sudo lshw|grep "\-cpu" -A2
     *-cpu
          description: CPU
          product: Intel(R) Core(TM) i5-4300U CPU @ 1.90GHz