openocd/tcl/board/xmc1100-boot-kit.cfg