Arch also has 4.12 and 4.13 in testing: https://www.archlinux.org/packages/?sort=&q=kernel&maintaine...
Doesn't seem like an appreciable difference.