[coreboot] Patch set updated for coreboot: 7d54eb8 Add name field for device