cpuidle support does not seem to work ! Kernel reports:

    intel_idle: does not run on family 6 model 13