WS2812 driver broken on rp2040 boards due to timing change

[sparques]

The bump from 125 MHz to 200MHz broke timing for the WS2812 driver (and possibly other drivers?) on rp2040-based boards.

I confirmed changing it back to 125 makes the driver work again.

Would it be better if better to make setting the clock a build-time option and keeping it at 125MHz by default? I can tell my boards are running noticably hotter now.

[deadprogram]

Please see #759 which will be part of the upcoming next release.

[sparques]

Ah, thanks. I guess I searched in the wrong area for existing issues.