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