GNU Linux-libre 4.9.12-gnu, 4.4.51-gnu, 3.16.40-gnu, and 3.2.85-gnu1 source tarballs and patches are now available, and so are 4.9.12-gnu Freesh .debs