GNU Linux-libre 4.11.4-gnu, 4.9.31-gnu, 4.4.71-gnu, and 3.18.56-gnu source tarballs and patches, and Freesh .debs are now availabe