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