timers/x86/hpet: Use HPET_COUNTER to specify the hpet counter in vread_hpet()