In addition to what gord_lib mentioned, I think there is no problem to run32 bit flash on a 64 bit system, right? Someone may need to correct me, butI think that is accurate...