Этот вопрос сейчас более двух лет, и проприетарные драйверы дошли до того, что были устаревшими для этого конкретного оборудования (Mobility Radeon 4200-series) как для Windows, так и для Linux. Драйверы FGLRX никогда не работали хорошо с этим графическим оборудованием, и Unity понесла плохую производительность с помощью FGLRX-драйвера. Даже после отключения V-синхронизации. Я настоятельно рекомендую использовать драйверы с открытым исходным кодом, используя PPA X-swat, если вы хотите использовать последние стабильные драйверы с открытым исходным кодом.
Вместо работы с параметрами ядра вы можете автоматически включить hotplugged CPU или память с помощью правил udev:
/etc/udev/rules.d/94-hotplug-cpu-mem.rules
ACTION=="add", SUBSYSTEM=="cpu", ATTR{online}=="0", ATTR{online}="1"
ACTION=="add", SUBSYSTEM=="memory", ATTR{state}=="offline", ATTR{state}="online"
Протестировано на CentOS 6/7, Ubuntu 14.
Debian 7 разбился по неизвестной причине. Дальнейшее тестирование потребуется.