x86_32 and x86_64 would probably be ideal, but let's not shed-paint it... x86/x64 is *definitely* wrong, though! There is no such thing as x64.