[PATCH v2 06/15] xilinx: zynqmp: Merge device lists