Re: linuxbios, linux, hyperthreading, ACPI, and 2.4.22