Aparentemente o kernel 4.7.x tem um sistema ACPI reescrito, e os kernels 4.7.x-4.9.x atualmente possuem um bug onde o kernel trata a interrupção ACPI como não compartilhável com qualquer outro dispositivo. Acabei de executar cat / proc / interrupts em uma nova instalação, no VirtualBox (sem I / O APIC) ACPI e vboxguest estão ambos no IRQ9. Aparentemente, os módulos vbox nunca recebem sua interrupção e simplesmente param. Você pode ligar o I / O APIC no VirtualBox e o linux dará a cada dispositivo sua própria interrupção, uma solução simples para esse bug.