Re: [LinuxBIOS] ACPI & tyan s2881