[libvirt] [PATCH RESEND 0/5] VirtualBox version 4.2 support for libvirt vbox driver