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