как контролировать спинлоки

У меня такая же проблема с Intel Nuc 6i5SYH с Debian 8 (Джесси). Но после установки Linux Mint 18.1 (Serena) я увидел, что турбо-ускорение работает. Проблема в версии ядра. Я перешел с Debian 8 на Linux Mint, потому что ядро ​​Linux в Debian 8 было слишком старым (ядро Linux 3.16.7). Кроме того, поставщик драйвера bluetooh указал минимальные требования ядра Linux 4.1 для правильной работы драйвера. С этим новым ядром, которое входит в состав Linux Mint 18.1, у меня заработал Bluetooth. В дополнение к этому, у меня также работал турбо-наддув.

Теперь я могу без проблем запускать Kodi и компилировать.