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.
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.