...
Here, I have changed the base address to match my Microblaze boot vector address. The reason I don't have the Microblaze executable memory at 0x0 in DDR is because the FSBL may be using this.
Tip: For ease of use in changing the DDR address. Change the range to 4K first, then change the base address to 0x0010_0000. Then, change the range to 256MB (or whatever size you need).
...