[PATCH 1/1] ntdll: Prevent double free (Coverity)