Support GDB debugging
Fix timing.

Disabling the timer causes the first pulse to be incorrect length.