Re: [Tee-dev] [PATCH v4 1/2] tee: enable support to register kernel memory