ARM64: zynqmp: Select SYS_CONFIG_NAME via Kconfig