# CONFIG_LEDS_ARIEL is not set