[coreboot-gerrit] Patch set updated for coreboot: fb4f375 baytrail: Add ACPI CPU entries