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