What Ethernet cards do you use and recommend for Linux (Debian/Ubuntu) servers? What drivers are the best? All my Ethernet cards use various Realtek chipsets, but I heard good things about Intel PRO ...