We had to fix the WS2812 example a bit:
1. Add boot workarounds.
2. Set pin to output.

It doesn't work in the main program, yet - presumably because it
doesn't feed the PIO fast enough without DMA.