Re: [coreboot] ACPI patches for Tyan s2895, s2892, s2891