Re: [LinuxBIOS] ACPI & tyan s288