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