linux: version bumped to 3.9.4.