L'installateur de Debian m'a prévenu qu'il manquait plusieurs firmwares.

• ath10k…
• …

La solution, trouvée sur unix.stackexchange.com est d'installer un kernel plus récent via les backports.

On ajoute le mirroir des backports pour Stretch :

# nvim /etc/apt/sources.list
# cat /etc/apt/sources.list
  #backports
  deb http://httpredir.debian.org/debian stretch-backports main contrib non-free

Ensuite on met à jour les paquets disponibles et on installe:

# apt-get update
# apt-get install linux-image-4.13.0-0.bpo.1-amd64 linux-headers-4.13.0-0.bpo.1-amd64

La solution trouvée conseille de redémarrer avant d'installer les firmwares manquants.

# reboot

(...)

# apt-get update
# apt-get -t stretch-backports install firmware-atheros

Pour terminer et tout initialiser correctement, un dernier reboot :

# reboot

• unix.stackexchange.com