GNU Linux-libre 4.12.11-gnu, 4.9.48-gnu, 4.4.87-gnu, and 3.18.70-gnu source tarballs and patches, and Freesh .debs are now available