kernel-2.6.31.6-166.fc12.x86_64 VirtualBox-3.1-3.1.0_55467_fedora12-1.x86_64.rpm Twice today machine has locked after starting VirtualBox. Never locked before, seems like more than a coincidence. No debug info available.