[PATCH 01/15] Convert CONFIG_AT91_LED to Kconfig