O broadcom-sta-dkms
está disponível no debian stretch, você não precisa adicionar jessie repos (não é recomendado).
Como broadcom-sta-dkms
é um software non-free
, você deve adicionar o componente non-free
ao seu sources.list
.
Edite seu /etc/apt/sources.list
da seguinte forma:
deb http://deb.debian.org/debian stretch main contrib non-free
deb-src http://deb.debian.org/debian stretch main contrib non-free
deb http://deb.debian.org/debian stretch-updates main contrib non-free
deb-src http://deb.debian.org/debian stretch-updates main contrib non-free
deb http://security.debian.org/ stretch/updates main contrib non-free
deb-src http://security.debian.org/ stretch/updates main contrib non-free
Atualize seu sistema
apt-get update && apt-get upgrade && apt-get dist-upgrade
Remova o broadcom-sta-dkms
apt-get remove broadcom-sta-dkms
Siga o guia oficial para instalar o driver do Wi-Fi (postado em sua pergunta)
apt-get install linux-image-$(uname -r|sed 's,[^-]*-[^-]*-,,') linux-headers-$(uname -r|sed 's,[^-]*-[^-]*-,,') broadcom-sta-dkms
modprobe -r b44 b43 b43legacy ssb brcmsmac bcma
modprobe wl