ioreg -l -p IODeviceTree | grep firmware-abi
The response will identify the machine as either having 32-bit or 64-bit EFI. I found this tidbit in this article on AppleInsider.
[robg adds: Note that if you boot in 64-bit kernel mode, you may have unexpected oddities. In my case, web pages that contained Flash animations would cause Firefox to quit. Rebooting in 32-bit mode (hold 3 and 2 during boot) solved the problem. Unless you have a definitive need for the 64-bit kernel, I'd recommend sticking with 32-bit mode for now.]

