O problema parece ter algo a ver com pci_devices
e o WiFi. Eu encontrei uma solução reproduzível:
sudo apt-get install firmware-b43-installer
Isso funciona em 14.04.3 e 16.04. Eu acredito que este é o firmware para o controlador de rede Broadcom BCM4311. Estranhamente, isso corrige o WiFi * e resolve "o problema da parada". Uma vez relatado, o pci_devices
estava se recusando a encerrar no encerramento (embora nem sempre o reportasse, mesmo quando havia problemas de desligamento). O controlador WiFi é, no meu entender, um dispositivo PCI; daí a conexão entre as duas questões que eu estava enfrentando.
Para detalhes sobre como consertar o WiFi, veja esta resposta minha.
* Eu também removi ndiswrapper*
e bcmwl-kernel-source
, que estão relacionados ao WiFi, mas isso não resolveu nenhum problema; a instalação de firmware-b43-installer
foi o que consertou, embora não esteja claro para mim se isso por si só teria resolvido um ou ambos os problemas.