Re: [Tee-dev] [PATCH v6 0/2] Enhance TEE kernel client interface