gnu: linux-libre@4.1: Update to 4.1.42 [mitigates CVE-2017-1000364].