[coreboot] Patch merged into master: 1e41ce0 ms7135: add ACPI support