Re: [PATCH -next] optee: Fix NULL but dereferenced coccicheck error