The Ethernet port on the controller is part of a Raspberry Pi. While your conclusions make sense, I’m curious if you have tried to SSH in, just to be certain the port or Pi is dead.
If the Pi appears to still function, you might try reflashing the SD card.