GNU Linux-libre 4.11.7-gnu and 4.9.34-gnu source tarballs and patches and Freesh .debs are now available