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