Made amenable to automatic update.

src/drivers/net/rtl8139.c

 	int addr_len;
 	unsigned short *ap = (unsigned short*)nic->node_addr;
 
-	/* Look for PCI device */
 	if ( ! find_pci_device ( pci, &rtl8139_driver ) )
 		return 0;