GNU Linux-libre 4.12.3-gnu, 4.11.12-gnu, and 4.9.39-gnu Freesh .debs are now available; thanks, jxself!