GNU Linux-libre 4.12.4-gnu, 4.9.40-gnu, 4.4.79-gnu, and 3.18.63-gnu source tarballs and patches, and Freesh .debs are now available