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