[coreboot-gerrit] Patch set updated for coreboot: 7862086 devicetree: Discriminate device ops scan_bus()