[PATCH 1/2] arm64: zynqmp: Add missing Kconfig options to zynqmp_virt platform