KVM: x86: Fix kvmclock bug