Short question: is the PWM driver (plat-mxc/pwm.c) supposed to work on MX35? I get reasonable values in the PWM controller registers, but the output signal only shows slow and somehow random signals. Am I missing something? Did anybody successfully use PWM on MX35? Thanks, Hans