[Linaro-mm-sig] Re: [PATCH v10 7/9] optee: support protected memory allocation