Firstly, the working pins tend to change randomly... Cos P8_13 works for me. Secondly yeah, I do get a set of 4 working PWMs but I need more than that, I need 5 pwm. I am trying to work with the Adafruit library but that gives me this error when I try it on some of them. Even the pyBBIO library doesn't support pwm outputs with the 3.8 kernel.
At this point I think that a stable version of the 3.2 Angstrom distribution will fit my needs as it is much easier to set the pin muxes. Does anyone know where to get them?