Re: [PATCH v2 07/10] hyperv: fix Win32_OperatingSystem WMI queries