Fix ADC ISR on Teensy port.