You can try to add either "clocksource=tsc" or "nohz=off" to your boot command line. See http://lkml.org/lkml/2008/2/25/288