GNU Linux-libre 4.11.5-gnu, 4.9.32-gnu, 4.4.72-gnu, and 3.18.57-gnu source tarballs and patches and Freesh .debs are now available