Use 64-bit system tick for AVR(R). Correct bug in debug monitor. Add watchdog support.