[coreboot-gerrit] Patch set updated for coreboot: b08b218 baytrail: Switch to per-device ACPI