KVM: x86: change msr numbers for kvmclock