Best bet is to go with a 32-bit machine. It will save you headaches and time and possibly sending your device to Nokia.