[PATCH 3.16 163/366] x86/tsc: Prevent 32bit truncation in calc_hpet_ref()