Small driver for ws2812b LEDs with chibiOS/RT