STM32MP1 debugging