Fix analogWriteFrequency on pinx 25 & 32

teensy3/pins_teensy.c

@@ -555,11 +555,18 @@ void analogWriteFrequency(uint8_t pin, uint32_t frequency)
 		FTM0_MOD = mod;
 		FTM0_SC = FTM_SC_CLKS(1) | FTM_SC_PS(prescale);
 	}
+#if defined(__MK20DX256__)
+	  else if (pin == 25 || pin == 32) {
+		FTM2_SC = 0;
+		FTM2_CNT = 0;
+		FTM2_MOD = mod;
+		FTM2_SC = FTM_SC_CLKS(1) | FTM_SC_PS(prescale);
+	}
+#endif
 }
 
 
 
-
 // TODO: startup code needs to initialize all pins to GPIO mode, input by default
 
 void digitalWrite(uint8_t pin, uint8_t val)