[coreboot] Patch merged into coreboot/master: 7d54eb8 Add name field for device