openocd/tcl/target/stm32h7x_dual_bank.cfg