Primeiro, encontre sua arquitetura:
arch
Você provavelmente encontrará x86_64; isto é, 64 bits, ou então i386; isto é, 32 bits. Caso contrário, poste de volta e nós informaremos.
Clique aqui para baixar os pacotes do kernel: link
Se o seu, como eu suspeito, é um sistema de 64 bits, faça o download para o desktop linux-headers-generic-xx-amd64.deb, linux-headers-xx-all.deb e linux-image-xx-amd64 .deb.
Agora instale-os a partir do terminal com:
sudo dpkg -i ~/Desktop/linux*.deb
Após a reinicialização, confirme se você está executando o novo kernel 4.0-xx:
uname -r
Ele deve retornar: 4.0.9-040009-generic
.
Carregue o driver presumido:
sudo modprobe brcmfmac
Verifique o log de mensagens:
dmesg | grep brcm