Bug#1029843: Missing symlinks for RPi 4 (to brcmfmac43455-sdio.raspberrypi,4-model-b.txt)

[James Addison <jay@jp-hosting.net>]

Package: firmware-brcm80211
Followup-For: Bug #1029843
X-Debbugs-Cc: ben@decadent.org.uk, didi.debian@cknow.org, kibi@debian.org, pete@akeo.ie

Thanks all for figuring this out and providing fixes - the updated contents of
the firmware-brcm80211 20230625-3~exp3 package look good to me.