Então, eu consertei sozinho. Interface parecia acima de configurações de rede, mas eu tentei ip link set enp2s0f1 up
e funcionou por algum motivo
lspci | grep -i ethernet
dá o mesmo para a instalação ao vivo e nova:
02:00.1 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 12)'
lsmod | grep -i r816.*
também fornece esse módulo r8169
é carregado nos dois sistemas
A configuração através do gerenciador de rede também é a mesma. Mas, por alguma razão, o ethernet funciona bem no livecd e não funciona no sistema instalado
Então, eu consertei sozinho. Interface parecia acima de configurações de rede, mas eu tentei ip link set enp2s0f1 up
e funcionou por algum motivo