[coreboot-gerrit] Patch set updated for coreboot: 987dfe6 device_util: Add dev_find_slot_pnp.