For DDR3, CKE should be pulled to VTT via 40Ohm resistor, not pulled to GND via 4.7KOhm as is used in DDR2. This provides termination for CKE for self-refresh operations.
The Zynq-7000 All Programmable SoC PCB Design and Pin Planning Guide (UG933) will be updated with this information.