[PATCH 4.9 02/74] x86/tsc: Prevent 32bit truncation in calc_hpet_ref()