I don't see why the X3100 driver would be 32bit only, unless it is expected to be addressed before release. On my PC, I have an X3000 and the driver is 64bit.