How to change Kernel Base address when compiling Linux?

I am working on RedPitaya FPGA board and want to use Asymmetric MultiProcessing on it. CPU0 will be running Linux and CPU1 will be running Baremetal or freeRTOS. For that I need to change the Kernel Load address so that the application/FreeRTOS running on CPU1 can have access to memory. Does anyone know how to change the Kernel Load address? I believe we will need to make changes in some configuration files, device tree and the address to which u-boot loads the kernel(not sure about this one). I think I can figure our the rest but I am having a hard time figuring out what to change in Kernel Configs or Source. P.S: With PetaLinux SDK its done as described by OpenAMP Framework for Zynq Devices Page 17. I just need to figure out how to do it without using PetaLinux. Cheers. Waqar Rashid