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