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