So
(looks like I was editing my response below while you added in yours).
So are you saying that your device tree still doesn't work or that after you installed dtc and used the additional command line options for for the newer "sopc2dts"program it actually worked for you?
thanks!
-Lance
[snip]
Thanks for your comments. I was thinking that the device tree compiler functionality was replaced, but I guess it is just that dtc doesn't ship with the soceds -- just last night I found I could install it stand-alone (on ubuntu sudo apt-get install device-tree-compiler).
I'm going to run through the whole routine again and see if I can get a working result.