[PATCH stable] x86/tsc: Prevent result truncation on 32 bit