[libvirt] [PATCH v4 07/12] hyperv: update wmi code generator.