linux: version bumped to 3.13.7.