tcl: Support for Analog Devices ADSP-SC58x / ADSP-SC584-EZBRD