Re: [coreboot] What's the relationship between ACPI and SMM?