Re: [PATCH v2 05/12] tee: replace tee_shm_alloc()