[coreboot] Fwd: Re: ACPI support on M57SLI