GNU Linux-libre 4.13.2-gnu, 4.12.13-gnu, 4.9.50-gnu, 4.4.88-gnu, and 3.18.71-gnu source tarballs and patches, and Freesh .debs are now available