Hi,

Here is a patch which fixes the kvmclock on multicore systems without
constant_tsc.

I'm not that happy with the current form as the notifier duplicates code
from tsc.c.  I don't see an easy way around that though.

Suggestions?  Other review comments?

thanks,
  Gerd