[PATCH 4/6] x86: Sync up tsc_timer with Linux