[Tee-dev] [PATCH] optee: fix noderef.cocci warnings