Hey man I have no idea if it is the same, I’m a noon, but I had issues with a kernel update recently with my Debian home server and lost Ethernet too. I couldn’t fix but I reverted the kernel update and voila my ethernet started working again. If this bothers you and like me you don’t have much knowledge years you could try that .
It was! I still have mine somewhere in the house. It was my kodi media player for a long time.