All individual RP2040 PWM channels are mapped onto distinct ChibiOS PWM drivers, as this fits driver model which wants an independent timer per driver.