idlehalt=0 prevents your cpu from stopping when it is idle. This prevents the timers from drifting from each other.

I'm working now with idlehalt=0 and have no problems so far. But I still get mach_time messages in the logs. But the timestamps do not differ very much.