Re: [PATCH] arm64: zynqmp: Add an OP-TEE node to the device tree