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