[coreboot-gerrit] Patch set updated for coreboot: 3d635b2 device_util: Add dev_find_slot_pnp.