Is there any active development to support VirtualBox 4.2 under libvirt?