Eu tive um problema muito parecido no meu HP Stream. Para mim, a solução foi ir para o menu BIOS e desativar a inicialização segura manualmente (mesmo que possa estar solicitando que você insira uma senha durante a instalação do sistema operacional ou dos pacotes, isso não significa que esteja desabilitando a inicialização segura). Isso permitiu que meu computador usasse o driver bcmwl-kernel-source listado nas configurações do sistema, como você mencionou. Eu não sei se esta é a correção que você vai precisar, mas é o que funcionou para mim - mais informações aqui .