How to change kernel base address

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 want all the memory request has to passed through the PL and PL will access the DDR for read/store.

I am currently working on Zedboard,

whose DDR address is from 0x00000000 to 0x3FFFFFFF and

my PL address range is from 0x40000000 to 0x7FFFFFFF.

I tested working of this design in Vitis, and confirmed that if I write anything in the address range from 0x40000000 to 0x7FFFFFFF, it is will go through my PL and it writes to DDR in the backend(Exactly how I wanted).

Now I am trying to boot petalinux and wants petalinux to write to address only to my PL address range, but i am not able to change the kernel base address in petalinux config. How did you resolve this?