On Wed, May 29, 2013 at 4:29 AM, Rafael J. Wysocki <[email protected]> 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-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
