TaskControl не работает на разных ядрах в isolcpus

В качестве предисловия я использую Debian Wheezy с ядром 3.2 на чипсете AMD64. У моей машины два ядра Xeon E5-2690. Я настроил параметры загрузки так, чтобы все ядра на одном процессоре были выделены для одного процесса. Для этого я установил isolcpus = 8,9,10,11,12,13,14,15 в grub. Все идет...