Re: [Uboot-stm32] [PATCH 08/16] board: stm32mp1: update management of boot-led