I have a target system with 2 network adapters, one is a Intel chip, the other is a Marvell chip VendorID: 11abh, 
DeviceID: 4362h, 88E8053. Because there is only a io-pkt driver for the Marvell availiable ( which is working when 
started manually) I tried to change the device enumeration and include the starting of io-pkt there.

-> I added to /etc/system/enum/include/pci-vendors a line:
set(PCI_VEND_MARVELL,4362)

-> I added a new entry for the Marvel chip in /etc/system/enum/devices/net

#Marvell
device( pci, ven=$(PCI_VEND_MARVELL),dev=11ab
tag(devn)
append(legacy, ",nonet")
uniq(netnum,devn-en, 0)
requires($IONET_CMD),)
mount(-Tio-pkt /lib/dll/devnp-msk.so,)
use(symbolic=netmgr)

-> in /etc/system/enum/overrides I set the following

all
set(IONET_CMD, io-pkt-v6-hc -ptcpip)

Result: did not work.

->Errors occuring during boot up: 
mount: Can't mount / (type io-pkt-v6-hc)
mount: Possible reason: Invalid argument
mount: Can't mount / (type io-pkt)
mount: Possible reason: Invalid argument

How to change IONET_CMD and mount lines to use io-pkt for all network devices in the system?