The 3.6 pinout shows pins 30, 36, 40 to be PWM, however, the PWM list does not include these pins for the Teensy 3.6 ? Which is correct? thanks