[Tee-dev] [PATCH v4 0/2] Enhance TEE kernel client interface