nop, en mode 64bits sur X86-64 tu ne peux pas melanger les 2 (cf www.virtualdub.org, tu peux pas te servir d'avisynth, un dll 32bits, avec vdub64 une version 64bits pour XP64).
Quand a la disponibilité de XP64, c'est seulement pour ceux qui ont acheté une plateforme x86-64 mais qui n'ont eu qu'un XP32 avec, tu peux faire l'echange, mais la license pour la version 32 t'es revoquée.
Voir les news sur tous les sites hardware du coin