Re: [Tee-dev] [PATCH] tee: optee: avoid possible double list_del()