[coreboot] ACPI on m57sli v1.0