The problem seems to be with ACPI on recent Intel boards, with HT processors
-- Chris Jones http://brasskipper.org.uk