Teensy 3.2: If I change the PWM frequency for PIN 20,21,22,23 and 25,32 to 2kHz, for example, does that have an effect on the IntervalTimer?