Comment 7 for bug 1672439

~$ dmesg |grep idle

[ 0.000000] clocksource: refined-jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645519600211568 ns
[ 0.000000] clocksource: hpet: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 79635855245 ns
[ 0.044934] process: using mwait in idle threads
[ 0.153005] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
[ 0.162345] cpuidle: using governor ladder
[ 0.178334] cpuidle: using governor menu
[ 0.343661] clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns
[ 0.899900] intel_idle: does not run on family 6 model 158
[ 0.901622] ACPI: acpi_idle registered with cpuidle
[ 1.894828] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x29dc020bb13, max_idle_ns: 440795273180 ns