openocd/tcl/board/stm32f4discovery.cfg