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