[Linaro-mm-sig] Re: [PATCH v3 1/4] tee: add restricted memory allocation