Re: [PATCH 7/7] tee: replace tee_shm_alloc()