STM32MP1 boot process