arm/kconfig: XLNX_ZYNQMP_ARM depends on PIXMAN