Re: [PATCH v13 2/7] remoteproc: Add TEE support