[libvirt] VirtualBox 4.2 Support