Looks like the mac address of the realtek is random. (Bit2 in the first byte is set which means self assigned) so it changes at every reboot.
The easiest way to get this working is a hack:
echo RED_DEV=eth0 >> /var/ipfire/ethernet/settings
2 Likes