DSC spec platform detection via WMI