It looks like it should be using brcmfmac for the driver. If you say the firmware is there i wonder if it’s just not loading on the live ISO? Hmm? As you say i wonder if it works after installation? I don’t know unless you could test it. I think it is the BCM4366 chipset so here is some info.