Como o devuan é baseado no Debian, você adiciona os repositórios não livres do Debian em /etc/apt/sources.list
deb http://deb.debian.org/debian stretch non-free
deb http://deb.debian.org/debian-security/ stretch/updates non-free
Em seguida, instale o pacote de firmware correspondente para o Gigabit Ethernet BCM5709
sudo apt-get update
sudo apt-get install firmware-bnx2x
Quanto ao download manual, você analisa o que é qualquer pacote de extensão e faz o download do link ; neste caso, o link