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