board: Get LEDs working
phage2014: First cut of memory-efficient ws2812 driver

This driver now uses a modified system to load data into the WS2812
buffer.  It now requires three bytes per pixel, rather than 96 bytes
per pixel.