linux3.9: update to 3.9.4; compress kmods with gzip.
linux3.9: s/gz/gzip/g