altos/drivers/ao_led.c: Declare LED port as void * to allow any SoC to use this code