Re: [Tee-dev] [RFC 1/7] tee: optee: allow kernel pages to register as shm