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