Notice how only channels 6, 7, 8 and 9 have the tag "PWM_CH#". From my understanding and observations, these pins are dynamic and you are able to change the PWM frequencies of these channels, using the follow portion in variant.h