How to change kernel base address

Question

I am trying to boot linux on a zedboard and monitor all memory accesses through Programmable Logic. We\'re first trying to boot linux with a start address above 0x40000000. I wa