Sir,
I am up to my old tricks again. Here, https://kernel.googlesource.com/pub/scm/linux/kernel/git/firmware/linux-firmware.git, is where I figured I could get some firmware for Linux.
I know I may have typed out a lot so far. Please, if you can find time, read the info. and try to reply to any of it. I would kindly appreciate it.
Seth
P.S. I might need to run the CC of the kernel again if I get this info. cloned. I have not found another option. I found the packages.debian.org site and I see you already made the firmware available to this board for brcmfmac .bin files and .pci files.