It's very easy to compile code to a different chipset, which I'm sure the team can do. But I'm also interested as to why you need 64.
If I recall correctly, they use a managed memory injection assembly called GreyMagic. GreyMagic, last I checked, was a 32-bit-only library and you can't call 32-bit DLLs from 64-bit assemblies. There might be other hurdles besides that, but that alone should be enough to keep them from going 64-bit