Re: [PATCH] configs: versal2: Enable OPTEE support