robmoss2k

Yes, it works fine - just do exactly the same as for 32-bit XP. The processor still bootstraps in 32-bit, so both XP x64 and normal XP use exactly the same bootloader.