[coreboot-gerrit] Patch set updated for coreboot: 177c9ad device_romstage: Add a way to move to the next device