Re: [coreboot] is ACPI a superset of _MP_ or not?