O rastreador de bugs do kernel do Linux tem um bug deste driver relacionado ao seu problema. Existem soluções alternativas mencionadas no bug.
Eu sugiro que você obtenha uma conta no Bugzilla e se inscreva no bug. Certifique-se de salientar que ainda é relevante no item 3.13, uma vez que o último comentário sugere que foi relevante no item 3.2. Isso leva as pessoas a pensarem que elas não são muito mais relevantes e passam por cima delas quando procuram por bugs para corrigir. Seria bom se você pudesse testar todas as opções de inicialização e ver qual funciona melhor.
tl; dr este é um problema conhecido. Inicialize com um dos seguintes itens para contornar o problema:
-
acpi=off -
acpi=ht -
processor.max_cstate=1 -
idle=poll -
nolapic_timer
Você pode adicionar permanentemente um ou mais deles à sua inicialização seguindo estas instruções .