[coreboot] Patch merged into coreboot/master: 56ddc41 SMSC MEC1308: Fix ACPI code to work with newer IASL versions