Well with the Linux kernel driver I linked I imagine that it will not be too difficult to write a Windows driver by reviewing the code. Then again I don't know much about how Windows handles drivers,
One could always ask Jens if he'll release the source of the 32-bit driver and then someone can port that.