Re: [PATCH] arm64: zynqmp: Support semhosting boot method