[PATCH] Disable kvmclock for non constant tsc cpus.