Ethernet does not come up after reboot after latest update

,

Okay, my post is basically duplicate of above and the solution is on the other thread: Realtek r8127 Ethernet NIC disappears on every reboot, only recovers with full power cycle - #3 by czankel

I’ll check tomorrow when I am physically next to the box so I dare mess about with kernel command line and grub and reboot.