Не работает HT на Foxconn P35AX-S и Intel Pentium 4 531

Решил перейти на новую платформу и взял плату Foxconn P35AX-S, сэкономив оставив старый Intel Pentium 4 531 (3ГГц, 1Мб, HT, Prescott). Перед покупкой не ознакомился со списком поддерживаемых процессоров, как оказалось - моего нет в списке, хотя мне повезло - система работает.
Работает, но с одной оговоркой - ОС не видит виртуальные два ядра - Hyperthrading. Писал в техподдержку - ответили, что этот процессор вообще не поддерживается.
Проблема точно не в ОС, ACPI стоит правильный, после перепрошивки на последнюю версию BIOS переустанавливал ОС со включенным HT в BIOS.
Может кто сталкивался? Проблема может быть в микрокоде? Или пробовать изучать BIOS от аналогичной модели, где официально есть поддержка моего процессора?
Стоит возиться? Или поставить новый процессор?