[PATCH v4 05/10] tee: replace tee_shm_alloc()