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

Когда я пытаюсь загрузить Ubuntu на свой ноутбук (Asus Transformer Book Trio TX201L), я получаю это

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

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

Процессор PS - Intel haswell 4200u, установлен Intel P-State

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