GNU Linux-libre 4.14.12-gnu, 4.9.75-gnu, and 4.4.110-gnu source tarballs and patches, and Freesh .debs are now available