I thought it was due to the timer's frequency being programmable, and both operating systems setting and assuming different values. It's been a long time though and my memory is fuzzy.