[PATCH 2/2] arm64: zynqmp: Use zynqmp_virt platform