GNU Linux-libre 4.12.6-gnu, 4.9.42-gnu, 4.4.81-gnu, and 3.18.64-gnu source tarballs and patches and Freesh .debs are now available