RE: STM32MP1 boot slow