openocd/tcl/board/xmc4800-relax.cfg