Fix timing.

Disabling the timer causes the first pulse to be incorrect length.
Support GDB debugging