Parece que cheguei ao fim daquele longo labirinto sozinho. Eu instalei o deb modificado daqui:
como fazer -install-bcm43142-wireless-drivers-for-dell-vostro-3460-3560
E o módulo do kernel carregado "wl". Depois disso, o Wi-Fi começou a funcionar. Eu adicionei wl para autoload na hora da inicialização ... Enfim, parece que o problema está resolvido.