raspbian - Defining PWM ports to be used on the GPIO - Raspberry Pi ...