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