Re: [coreboot] ACPI on M57SLI