GNU Linux-libre 4.12.2-gnu, 4.11.11-gnu, 4.9.38-gnu, 4.4.77-gnu, 3.18.61-gnu source tarballs and patches, and Freesh .debs are now available