Eu encontrei uma solução.
Você precisa procurar por um arquivo .hex
de uma instalação do Windows, eu encontrei o meu em C:\Windows\System32\drivers\BCM43142A0_001.001.011.0197.0231.hex
; encontre aquele que começa com BCM43142A0.
Então você precisa convertê-lo para o formato hcd. Você pode encontrar a ferramenta no link .
git clone git://github.com/jessesung/hex2hcd.git
cd hex2hcd
make
hex2hcd <input_file>.hex fw-xxxx_yyyy.hcd
Insted de fw-xxxx_yyyy.hcd
você deve usar BCM43142A0-0a5c-21d7.hcd
.
Copie o arquivo hcd gerado para / lib / firmware / brcm / e reinicie.
Isso deve resolver o problema.