[PATCH 4.16 08/26] x86/tsc: Prevent 32bit truncation in calc_hpet_ref()