Choose "safe" section of DDR memory in ZC702 board
Seems to me that 0x0010_0000 to 0x3FFF_FFFF is the range to choose from.  This is listed as "accessible to all interconnect masters".  4MB is 0x0040_0000 of addresses - it won't even fit below 0x0010_0000.