Re: [PATCH 08/25] corvus: Migrate CONFIG_*_LED out of CONFIG namespace