Re: [PATCH] board: stm32mp1: correct CONFIG_IS_ENABLED usage for LED