HP Mini 210-1020ez Wi-Fi

First of all, hello everyone! (This is my first post here.)

I recently acquired an old HP Mini 210-1020ez netbook, which I'm trying to bring back to life. After installing Trisquel Mini 11.0.1 LTS Aramo on it, everything seems to work just fine, except the Wi-Fi card. Just to make sure the card wasn't damaged or anything else, I used a non-free distro to check: the card works, so I guessed it would have been related to the abscence of non-free drivers/firmwares.

The card in question is a Broadcom 4312, which then I further identified using:
lspci -nn -d 14e4:

Which outputs:
02:00.0 Network controller [0280]: Broadcom Inc. and subsidiaries BCM4312 802.11b/g LP-PHY [14e4:4315] (rev01)

Looking online I found out that the card should be supported by the b43 drivers: https://wireless.docs.kernel.org/en/latest/en/users/drivers/b43.html.

I also found out about the OpenFWWF project (http://netweb.ing.unibs.it/openfwwf/), where free firmwares for the BCM43XX cards have been developed. Shouldn't these in association with b43 make the card work?

In case this should not work, I could be able to swap the card with a Realtek 6317A-RTL8188EE 802.11b/g/n, which is supposed to run without problems: https://h-node.org/wifi/view/en/1637/Realtek-Semiconductor-Co---Ltd--RTL8188EE-Wireless-Network-Adapter.

In that case my question here is: would the card be compatible with the antennas already present in the netbook? Could it be possible to replace the previous one without the BIOS blocking it?

Many thanks in advance for your time.