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