[PATCH 1/2] x86/kvmclock: Move this_cpu_pvti into kvmclock.h