RE: [PATCH 08/16] board: stm32mp1: update management of boot-led