Download driver:
https://forum.netgate.com/assets/uploads/files/1537813753467-if_re.zip
jselec mirror: http://jselec.nl/wp-content/uploads/2019/01/if_re.zip
Unzip & Place “if_re.ko” file at “/boot/kernel“
Change ownership and permissions on the if_re.ko file
chown root:wheel if_re.ko
chmod 0555 if_re.ko
Then edit “/boot/loader.conf” to add this line:
if_re_load="YES"
Reboot.
Then go to diagnostics > command prompt in the WebGUI
Run the command
kldstat
If you did everything properly you’ll see “if_re.ko” in the list that comes up. If not, the driver isn’t loaded.
(i didn’t get it loaded myself. Added the line of code to /boot/defaults/loader.conf Then it worked for me)