openocd/tcl/board/xmc4500-relax.cfg