Comment 10 for bug 225749

I also have the tsc clocksource error. It appears in multi-core processors, when one core changes state before the other and their clocksources get out of sync. HPET is a much better time source. You can add the clocksource=hpet parameter to your kernel command, but the error will still come up. However, it is (probably) not the source of your problem. Related reading from the linux kernel mailing list, in 2005: http://lkml.org/lkml/2005/11/4/173

I think the key message here is the abnormal exit of modprobe...