GNU Linux-libre 4.1.31-gnu and 3.18.40-gnu source tarballs and patches are now available