[libvirt] [PATCH RESEND 2/5] vbox version-specific C file for VirtualBox v4.2