Re: [PATCH v10 7/9] optee: support protected memory allocation