Как включить CONFIG_X86_VSMP в ЯДРЕ? [SOLVED]

ЯДРО - Linux Kernel v2.6.25-tuxonice-r1. Ноутбук с процессором Core2Duo, я так почитал, поддерживается EM64T. По логике, эта опция должна поддерживаться и в ЯДРЕ. Но после её установки:

- Processor type and features --->
--- Subarchitecture Type --->
----- Support for ScaleMP vSMP

выхожу из `make menuconfig`, сохраняю конфиг, захожу снова, и вместо "ScaleMP vSMP" в этом месте уже "PC-compatible", т.е. CONFIG_X86_VSMP=n, а CONFIG_X86_PC=y. Поиск не дал никаких результатов. :( В зависимостях ничего такого не прописано. Чего только ни менял! Кто-нть знает, как включить сабж?