I think the problem is that "CONFIG_X86_TSC" is not set in the kernel configuration. If it were, the idle functions in drivers/apci/processor_idle.c would mark the TSC as unstable, preventing this bug.
-- Clocksource tsc unstable add 10 seconds to the boot time. https://bugs.launchpad.net/bugs/190414 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
