openocd/tcl/board/stm32mp15x_dk2.cfg