Status of wireless driver development for Raspberry Pi?

According to a page that hasn't been updated for a while (https://wiki.freebsd.org/SDIO) work is in progress on Broadcom wireless drivers for the Raspberry Pi 3 and 4.  I'm supposed to start by building the GENERIC-MMCCAM kernel.  A CAM device will then appear which I can then use camcontrol to talk to.  I built the kernel and booted it on my Pi 3B+, which has a  Broadcom 43455/6 according to Linux.   All camcontrol finds is the mini SD card. I see only one call to sdhci_init_slot in bcm2835_sdhost.c so maybe that's the problem.  It supports exactly one SDIO device, a memory card.

Any thoughts?  Is it worth thinking about the wireless chip or is it just too much work?

# camcontrol devlist
<SDHC SC16G 8.0 SN 54B43C20 MFG 08/2018 >  at scbus0 target 0 lun 0 (pass0,sdda0)
# camcontrol devlist -v
scbus0 on sdhci_slot0 bus 0:
<SDHC SC16G 8.0 SN 54B43C20 MFG 08/2018 >  at scbus0 target 0 lun 0 (pass0,sdda0)
scbus-1 on xpt0 bus 0:
<>                                 at scbus-1 target -1 lun ffffffff (xpt0)