If your timer reload value is 0xDC00 you don't need to stop the timer or reload the low byte. Just reload the high byte - the low byte rolls over to zero by itself. This way you don't need to worry about latency or calculating the instruction execution timing to compensate the reload value.