sudo apt-get install bcmwl-kernel-source
Isso funcionou para mim. Por outro lado, o leitor de cartão SD (ethernet integrado e leitor de cartão no chipset broadband bcm57765) não funciona e ainda não encontrei uma solução. Se alguém o fez, por favor nos avise.