STM32MP1 boot slow