[coreboot] Patch merged into coreboot/master: cb313ee ACPI HEST table.