Debian backports has 4.12: https://packages.debian.org/search?keywords=kernel&searchon=names&section=all&suite=stretch-backports https://packages.debian.org/sea

Debian backports has 4.12: https://packages.debian.org/search?keywords=kernel&searchon=names&section=all&suite=stretch-backports https://packages.debian.org/search?keywords=kernel&searchon=... Arch also has 4.12 and 4.13 in testing: https://www.archlinux.org/packages/?sort=&q=kernel&maintainer=&flagged= https://www.archlinux.org/packages/?sort=&q=kernel&maintaine... Doesn't seem like an appreciable difference.