ASUS XG-C100C and ASUS PCE-AC88 in x86_64 build

I'm new to OpenWRT and put together a computer to run it.
My build includes a ASUS XG-C100C network card and a ASUS PCE-AC88 Dual-Band AC3100 wireless card.

I've been trying to figure out how to get the first of the cards to work with OpenWRT (19.07.1) and as far as I can tell I need to install the driver, which probably is named something like kmod-xxxx.
But how do I know which one?

The ASUS XG-C100C is using the Aquantia AQC107 chip but I haven't gotten further than that.
Google didn't bring up much other than possibly compiling the source for the driver.

Does anyone know the name of the drivers I'm looking for and how to install them in a good way?

It's a Marvel card (per Google-fu).

That seem to be the same page that I ended up at (it says "aquantia" in the URL), but then what?
Is there no prebuilt module so I need to install tools and compile it?
And which one, the "FreeBSD" one or the "Linux" one?
I'm guessing "Linux" but better to ask then not and save a few hours.

I was just letting you know it's a Marvel card; but you seem to know that, cool.

OpenWrt is Linux.

For the Asus PCE-AC88, you will need to install:

  1. opkg install kmod-brcmfmac kmod-brcmutil brcmfmac-firmware-usb
  2. download the attached binary file, brcmfmac4366c-pcie and save to /lib/firmware/brcm/

It work only on 18.06.2, and 19.07.0-19.07.03.

18.06.3-18.06.8 will give you kernel panic.

The wireless card works in VM and support AC mode only.