[coreboot-gerrit] Patch set updated for coreboot: 9c43564 devicetree: Rename unused parameter max in domain_scan_bus()