fix x86 UP build broken by r334204, TSC resynchronization
Reported by: bde MFC after: 1 week X-MFC with: r334204