Pavel,
Yes, adding your second mod to syslink allowed me to power down the DSP (after doing devmem2 0x48180A10 wr 0), and successfully wake it up again. Thanks!
One quick followup: when I power up the DSP again, should I restore the 3 to 0x48180A10 (RM_ACTIVE_RSTCTRL)? It seems to work okay without doing so, but I wanted to double check.
Thanks a lot,
Dan -