Is it possible to power the board without using the USB-C ?
On the STM32MP157-DK1 schematic there is a note to say "WARNING - do not supply 3V3,5V from Arduino shield", even though it looks as though pin 5 on CN16 is electrically connected to 5V_VIN via a 0R resistor.It's going to be very inconvenient to use ...