I moduli per quel chipset sono 8139too e 8139cp, prova a caricare uno dei due, al default sono selezionati per la compilazione. Se no li trovi in Device drivers -> Network device support -> Ethernet (10 or 100Mbit) -> Realtek RTL-8139 | Realtek RTL-8129/8130/8139.