ぷ。
Win64なんて、ずーっと以前に作られたものだよ。

Windowsの64ビット化とかいって騒いでるけど、かなり以前に64ビット化は済んでいた。
x64ではなくIA-64だけど、OSのソースコードの大半は無変更でコンパイルし直しで済んでるはず。