Hmm. MSDN says that the standard 32-bit WMI providers should work on 64-bit computers.

http://msdn2.microsoft.com/en-us/library/aa390789.aspx