Don't know exactly, but what is the x64 image EXACTLY that you use?

There are several different x64 possibilities depending on the processor, I guess with Windows 2 of them (in Linux more). Anyway, *amd64* named is for common Intel and AMD processors (or whatever naming convention you have there).