#GNU #Linux-libre 4.19.9-gnu, 4.14.88-gnu, 4.9.145-gnu, 4.4.167-gnu, and 3.18.129-gnu source tarballs and patches are now available