On Wed, May 29, 2013 at 4:29 AM, Rafael J. Wysocki <rjw@xxxxxxx> wrote: > On your systems the processor driver is built-in. Any chance to build it as > a module and see if that helps? it CONFIG_ACPI_PROCESSOR it not set in the config the boot get to normal speed. Yinghai -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
