I've already tried to connect the ethernet through a switch, using various ethernet cable, and directly to the router but neither seems to work. I didn't touch the BIOS settings at all so that seems unlikely to cause the problem. Maybe it is a HW failure then, I will try to buy a PCIe ethernet...