Re: [Tee-dev] [RFC 2/7] tee: enable support to register kernel memory