Rewrite win64 support

It's way too different from the 32-bit ABIs with which it is
currently associated. As seen from all of the existing XFAILs.
Remove win64 support from ffi.c