Re: [LinuxBIOS] Re: K8 ACPI support, 8132, AMD serengeti MB supppot