Re: [PATCH 0/4] xilinx: common: Fix fdt/initrd_high and bootm_* variables