Re: [libvirt] [PATCH v2 8/11] hyperv: update wmi code generator.