PWM input pin changes queued and processed in PPM generator