However, it would be good to check if the affected systems work with
intel_idle + the above patch instead of acpi_idle.
My bad. I thought that I enabled intel_idle but it was not
driving those processors but it seems that I've not enabled it on those
kernels.
Okay, ASAP I'll report back what's going on with intel_idle + the
patch that you gave.
--
Pardus Linux
http://www.pardus.org.tr/eng
--
To unsubscribe from this list: send the line "unsubscribe platform-driver-x86" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
