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