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