Move to DevKit 3.5.2 release.