I finally started to play with this. I decided to setup to build the kernel and the like myself, so I updated my dual boot of my main machine to Ubuntu 13.4 and went through the build process. Too bad needed to create duplicate .dtbo files for all of the pwm pins.
But at least the quick test is now showing pwm output. Will probably soon setup a couple of servos for pan and tilt and see how well it works out.