Hi to debian kernel developers Does the linux kernel work with amd ryzen processor series in Debian 9.0 "stretch" ? -- Øyvind Hagen