Update to PWM driver.

Use clock divisor 32 rather than 1 -- makes it work at any rate!
Now have a successfully blinking LED :).