Finalmente, resolveu meu próprio problema.
Acontece que ele estava pedindo brcm/brcmfmac43241b4-sdio.bin
, e ele realmente achou isso e, em seguida, pediu o mesmo nome brcm/brcmfmac43241b4-sdio.txt
. Fornecer esses dois arquivos ao mesmo tempo em um pen drive USB funcionou.
O arquivo de texto é aqui