Re: [U-Boot] [PATCH] arm64: zynqmp: fail SPL build if no psu_init found