OK. Eu consegui corrigir o problema. Eu tentei comparar tantos arquivos de configuração relacionados à rede quanto possível.
- Uma alteração em
NetworkManager: tive que alterarmanaged(emifupdownseção) parafalse. Isso não resolveu o problema em si, mas pode estar conectado. - Dê uma olhada no link Eu mudei meu
/etc/network/interfacespara ser exatamente igual ao da minha segunda máquina (que funciona sem problemas). Meu arquivointerfacesfoi:
auto lo
iface lo inet loopback
allow-hotplug eth0
auto eth0
iface eth0 inet dhcp
e eu mudei para:
auto lo
iface lo inet loopback
E agora funciona! Espero que ajude outras pessoas com problemas semelhantes (especialmente quando lidam com PPPoE no passado).