[coreboot-gerrit] Change in coreboot[master]: [RETEST] mb/prodrive/hermes: Number Ethernet devices