When I select the device part MT41J64M16 In the PS7 DDRC configuration window, the GUI shows an 8 bit data width, which is incorrect.
As a result the address size exported to SDK is twice as large as it should be.
This occurs in both EDK and Vivado Design Suite 2013.2.
This is a known issue.
It is resolved in Vivado Design Suite 2013.3, but not in EDK 14.7.
If you use this device part, please select MT41J64M16 first and select "Custom", then change the data width correctly.