Re: [PATCH] xilinx: zynqmp: Add bootmenu support