linux: version bumped to 3.7.2.