Сторожевой таймер NMI на Haswell

Когда я пытаюсь загрузить человечность на своем ноутбуке (Книжное Трио ASUS Transformer TX201L), я получаю это

[ 60.079064] NMI watchdog: BUG: soft lockup - CPU#0 stuck for 23s! [swapper/0:0]

Единственным путем я могу загрузиться, теперь должен загрузить Windows, устанавливать схему управления питанием производительности и затем начальные загрузки Ubuntu обычно. Я верю, проблема состоит в том, что частота ЦП является слишком низкой на запуске. Там какой-либо путь состоит в том, чтобы решить эту проблему?

P.S. ЦП - Intel haswell 4200u, p-состояние Intel установлено

Проблема была решена путем установки нового ядра (4.5)