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