Re: [PATCH v9 4/7] remoteproc: core: Add TEE interface support for firmware release