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