Re: [PATCH 10/10] xilinx: zynqmp: Support vendor specific board_init