I've bought a STM32MP1-DK1, in the manual it says I can debug Cortex-A7 by openOCD+STLink. https://wiki.st.com/stm32mpu/wiki/GDB#GDB_setup_paths . And I installed STM32CubeIDE, but it always goes into CortexM4 debug session, How can I halt in Cortex-A7?