[coreboot-gerrit] Patch set updated for coreboot: 82f859e acpi: Generate valid ACPI processor objects