Re: [Tee-dev] [PATCH v4 preview 2 0/5] generic TEE subsystem