[PATCH 05/17] x86: tsc_timer: Correct overflow in __udelay()