Re: [PATCH v6 10/10] optee: smc abi: dynamic restricted memory allocation