Introduce tcl config files for Synopsys HSDK board