Re: [PATCH 2/6] arm: mach-k3: Add config option for setting OP-TEE address