NFC/Broadcom driver

Hi,

I have the following NFC reader in my laptop

0: Broadcom Corp 58200 [Contacted SmartCard] (0123456789ABCD) 00 00
1: Broadcom Corp 58200 [Contactless SmartCard] (0123456789ABCD) 01 00

However, lsmod | grep broadcom does not show anything, so I suspect the inability of the reader to see NFC devices, is because the driver is missing?

From searches, it seems Ubuntu has this driver, but I can’t seem to find anything for RPM based distros.

Any tips/leads very welcome,