arm64: zynqmp: Provide a Kconfig option to use specified memory for MMU table