Bonjour,
Le plus simple serait seulement d’activer le dépôt stretch-backports, le noyau est en version 4.19.0.
Tu ajoutes ça dans ton fichier /etc/apt/sources.list :
deb http://httpredir.debian.org/debian/ stretch-backports main contrib non-free
Puis tu l’installes.