[coreboot-gerrit] Change in coreboot[master]: drivers/net: Add device index for multiple NIC cards

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/22984 )

Change subject: drivers/net: Add device index for multiple NIC cards
......................................................................

Patch Set 4: Verified+1

Build Successful

https://qa.coreboot.org/job/coreboot-checkpatch/19809/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/65053/ : SUCCESS