Se alguém passar por essa questão, minha solução acabou sendo instalar o kernel 4.9. Não tenho certeza do que está errado em 4.8, mas não vejo nenhum problema ainda executando 4.9 em vez disso.
Meu computador é um Dell XPS 9550, se isso for de alguma ajuda