[coreboot-gerrit] New patch to review for coreboot: 2d20f50 winent/mb6047: use correct ACPI SCI interupt trigger