GNU Linux-libre 4.13.9-gnu, 4.9.58-gnu, 4.4.94-gnu, and 3.18.77-gnu source tarballs and patches, and Freesh .debs are now available