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