Further refinement of the devconfig format with corresponding code changes.

BugzID:3439