GNU Linux-libre 4.1.37-gnu and 3.18.46-gnu source tarballs and patches are now available