which version of ASL are you using ? What kind of Intel Cards are this, do you have their PCI Vendor and Device ID ? This can normally be found during bootup or in the /proc filesystem. The ID are 4 alphanumerical characters. Intel should be 8086.
There is a list at http://docs.astaro.org/pci.lst showing all supported NICs. Try to find yours by verifying the IDs. If you can't find yours, come back to me and figure out how to support them.