no longer need to worry about wrap around as OS_TICK is now CPU_INT64U