Heute abend habe ich eine Ethernet-Karte für billige EUR 7,90 gekauft und gleich eingebaut. Das Ding (10/100M Ethernet PCI Adapter von DIGITUS, Made in China) scheint ein RealTek-8139-Klon zu sein und läuft problemlos mit dem 8139too-Treiber im Linux-Kernel 2.4.18 (Debian).