Comment 9 for bug 1958770

My system seems to be working now. My dmesg shows the driver as loading:

[ 1.439880] atlantic 0000:07:00.0 enp7s0: renamed from eth0

I had some problems with my distribution upgrade and had to re-run it, ie "apt dist-upgrade" along with other commands.