[coreboot-gerrit] Patch set updated for coreboot: 7cbe00a adlink/lippert: Add Adlink names for devices with both names.