There is at least one 2.5 Gbit/s NIC already in the source tree, igc(4). Would it be possible to import rge(4) from OpenBSD.
Source for rge(4) can be found in https://cvsweb.openbsd.org/src/sys/dev/pci/. So far I have identified if_rge.c and if_rgereg.h as being needed. The driver does depend on MII.
The ASUS Prime X670 WiFi motherboard also seems to need this driver for the built-in 2.5 Gb NIC: VID/DID: 10ec:8125 (rev 05) Sub VID/DID: 1043:87d7 https://bsd-hardware.info/?id=pci:10ec-8125-1043-87d7 There is also a "FreeBSD 7.x and 8.0" driver on the Realtek website: https://www.realtek.com/en/component/zoo/category/network-interface-controllers-10-100-1000m-gigabit-ethernet-pci-express-software -- Martin