Por comentário atualizando para o kernel mais recente (4.14 a partir da redação das palavras) ajudou.
Eu acredito que li em algum lugar sobre esse problema (post no blog ou bugtracker) , mas não consigo encontrar a fonte. IIRC o problema era que algum registro de hardware deveria ser descartado na reinicialização para um certo valor, mas na verdade não, o que levou a problemas.