x86/pvclock: add setter for pvclock_pvti_cpu0_va