เวลาเราเปลี่ยน kernel ใหม่ เจ้า VirtualBox ก็ต้องถูกคอมไพล์ส่วน kernel module ใหม่ด้วย โดยใช้คำสั่งนี้
sudo /etc/init.d/vboxdrv setup
ถ้าไม่อยากมานั่งคอมไพล์ใหม่เองทุกครั้งให้ติดตั้ง Dynamic Kernel Module Support (DKMS) เอาไว้ คงต้องรอเปลี่ยน kernel ครั้งหน้าว่าจะทำงานได้จริงหรือเปล่า