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