Use GCC atomics; fix usecTimerHighCount