Eu finalmente consegui trabalhar.
Baixou e instalou o Stretch distro netinstall com firmware. Depois de fazer isso, meu problema de exibição não precisou de conserto. No entanto, mesmo depois de instalar o pacote dkms padrão, ainda recebi o mesmo erro com o módulo wl
.
Depois, fui diretamente para o site do Debian, baixei o pacote .deb
do trecho e o instalei. Com certeza, funcionou depois disso! O único problema que tenho agora é, por vezes, quando eu coloco o computador para dormir, depois de acordar eu tenho que reconectar manual para a rede sem fio que eu estava. Pode trazer essa parte para um tópico diferente, mas por enquanto minha maior preocupação está resolvida.