Hello,I'm working on a STM32MP157D-DK1 demoboard and I want to manually start the coprocessor from u-boot.I'm tried to follow this tutorial: MANUAL START  The steps that I maked are:1) I generated the code with STM32CubeMx (I selected the board STM32...