[coreboot-gerrit] Patch set updated for coreboot: 6d4957d Make acpi_fill_hest into parameter