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