Re: [PATCH v2] Documentation: tee: Document TEE kernel interface