Comment 12 for bug 1578745

there is a Debian package "firmware-brcm80211": "Binary firmware for Broadcom 802.11 wireless cards"
which contains firmware files for many Broadcom wirelesss cards (e.g. brcmfmac43340-sdio.bin).

It is supposed to contain all firmware files for "wireless network cards supported by the brcmsmac or brcmfmac driver"

Why don't you put the brcmfmac43430-sdio.bin into this archive?.
This would be one step in the direction to make the Raspberry Pi independent of special distributions.