[coreboot] New patch to review for coreboot: 56ddc41 SMSC MEC1308: Fix ACPI code to work with newer IASL versions