tcl: Support for the miniSpartan6+ board.