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