[Tee-dev] [PATCH 2/2] tee: bugfix tee_shm_alloc()