Re: [PATCH v2 1/4] remoteproc: Add TEE support