[coreboot-gerrit] Patch set updated for coreboot: 90d441d winent/mb6047: use correct ACPI SCI interrupt trigger