How is it possible to ensure that the card using the 8139too driver is detected before the card using the ne2k-pci driver?