openocd/tcl/board/quark_x10xx_board.cfg