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