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