You aren’t technically wrong, Debian will be “stuck” with 6.1 for some time time now, but there’s also ways to have the latest kernel in Debian, most of them are about going for the unstable / backports repositories. The thing is that once you go that road you might lose stability comfort that Debian provides and that that point why not simply go with Arch?