[coreboot-gerrit] Patch set updated for coreboot: 3112a19 acpi: make fill_slit and fill_srat into arguments.