Uma combinação de coisas parece ter resolvido o problema.
Eu instalei os drivers mais recentes da fonte. Encontrou aqui :
Comprei um cabo CAT6 porque estava usando um cabo CAT5 barato (e é um cartão gigabit) porque foi sugerido aqui .
E finalmente eu ativei alguns parâmetros de inicialização do kernel como segue em / etc / default / grub:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash e1000e.IntMode=1,1 e1000e.InterruptThrottleRate=10000,10000"