# CONFIG_LEDS_GPIO is not set