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