Hi Dan,
Did you download and install the device tree compiler project, and add it to the list of source repositories in SDK (Preferences > Xilinx SDK > Global Repositories) ?
$ git clone git://git.jdl.com/software/dtc.git
Additionally you'll need to right click on the software project and click on the option to regenerate the linker scripts. This will allow the project to use the correct set of definitions. In a standard install, there is a generic xparameters.h file and one that is generated specifically for the hardware design that you're working with, and installing the dtc project to generate the xparameters.h file.
Regards,
Elvis Dowson