x86: vdso: use __pvclock_read_cycles