Re: [U-Boot] [PATCH] arm/arm64: zynq/zynqmp: pass the PS init file as a kconfig variable