[coreboot-gerrit] Patch set updated for coreboot: 9e43a6a baytrail: configure acpi SCI irq