Comment 9 for bug 64325

I think the problem lies within a TSC compatibility problem with multi-core processors with independant core clocking. it seems that frequency scaling is improperly registered by the kernel, and causes bugs such as this one and bug 99356 with some keyboards. To solve it, just add "notsc" to your boot kernel parameters, or compile a kernel without the TSC components