tcl: Support for Analog Devices ADSP-SC58x