Re: [coreboot] [PATCHES] Small cleanup for MP Tables, avoid duplicate ACPI tables