Re: [PATCH] board: xilinx: Enable changing default DTB pick up address