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