feat: ADI Addressible LEDs

[Tropix126]

Describe the changes this PR makes. Why should it be merged?

Support for controlling WS2812B smart LEDs over ADI.

Additional Context

Blocked by (several) bugs in PROS at the moment unfortunately.

• ext_adi_led_set_pixel deadlocks the entire program due to an off-by-one-error in their port mutex handling for this function. We currently get around this by manually manipulating the buffer ourselves.
• All LED setters appear to be broken to some extent. They don't update the actual strip the first time they're called, and there needs to be a delay between update calls for them to properly update. This is possibly an SDK bug (:c). There are potential ways we could get around this, but it would likely involve either making all LED setters blocking or running a background processing daemon just for LEDs. Neither of these solutions are great.