[Using one of the] K64-capable machines listed above, simply boot the Mac with the '6' and '4' keys held down to use the 64-bit kernel. Observe that*uname -v*reports*RELEASE_X86_64. *Machines listed as "Default" and all Server installs will run K64 automatically when loaded with*10A402.
You can also set*arch=x86_64*in your*boot-args*NVRAM variable, using*nvram(8). When you're done, you can remove the boot-arg, or if you can no longer boot into an OS to unset it, hold command-option-P-R to zap NVRAM.
If you just want one partition to boot x86_64, edit the file /Library/Preferences/SystemConfiguration/com.apple.Boot.plist and add*arch=x86_64*to the kernel flags.
If some functionality is not working and you must revert to using the 32-bit kernel, you can either reboot with the '3' and '2' keys held down or set*arch=i386*in your boot-args.