Re: [Tee-dev] [PATCH] Documentation: tee: Document TEE kernel interface