[libvirt] [PATCH RESEND 4/5] vbox driver support for VirtualBox v4.2