SonicWall quickly developed a patch for vulnerabilities found in WindRiver VxWorks