Continuo recebendo o seguinte erro quando o servidor X está tentando iniciar:
NMI Watchdog: BUG: soft lockup - CPU4 stuck for 23! [Xorg:1483]
Isso é um problema de driver? Estou executando o servidor Ubuntu 16.04 em um HP ZBook.