[coreboot-gerrit] Patch set updated for coreboot: ed46037 baytrail: Put devices in ACPI mode after setup