Para responder à minha própria pergunta: não encontrei a causa raiz, mas pelo menos uma solução alternativa . Depois de instalar o kernel da linha principal (no meu caso a versão v4.13-rc6
) o problema não aparece mais.
As instruções para baixar e instalar o kernel da linha principal podem ser encontradas aqui: link