[PATCH] hpet: use read_timer_tsc only when CPU has TSC