I'm trying to generate dtb files (kernet, u-boot, tf-a) for a custom board with STM32MP157C (OSD32MP157C by Octavo Systems) following the instructions from ST (https://wiki.st.com/stm32mpu/wiki/How_to_compile_the_device_tree_with_the_Developer_Packag...