Apparently yes :) Because I was able to kldunload vboxdrv when I had forgotten that I still had one guest running. The system then crashed badly shortly afterwards. -- Andriy Gapon