While running an Athlon64 X2 have found that the smp kernel from FC4

Code:
2.6.11-1.1369_FC4smp


has some problems - i was hanging pretty regularly - switched to single processor kernel - seems ok - except my clock now runs twice as fast! Any fixes for the clock (till the smp kernel gets updated) would be appreciated.

- Thanks