x86-64: Move vread_tsc and vread_hpet into the vDSO