OSx86 is a tagname, really. Most of the distros, including iPC (as far as I can tell) support 64-bit mode if your processor is capable and you can get a kernel that supports it.

---

Custom Hackintosh...AMD Athlon X2 5000+ (2.6 GHz) on GA-MA78GM-S2H...Linksys WMP300n Wireless...ALC889a sound...ATI HD 3650 PCIe...1 GB DDR2 RAM...320GB Western Digital SATA + 200GB Seagate IDE HDD...Rosewill DVD-RW IDE...Running Kalyway upgraded to 10.5.7...All Fully Functional