STM32MP157C-DK2 board support and debug

This looks like OpenOCD and GDB don’t quite understand each other. Maybe OpenOCD has a bug, or GDB needs to be of a higher version.

Can you, as a first try, add

platform_packages = 
   toolchain-gccarmnoneeabi@~1.90301.0

to the platformio.ini to use a new arm-none-eabi-gcc 9.3.1 toolchain?