Looking forward to Friday
I just hope in the future when apple set the 64bit kernel to boot as default they think of all of us with 64bit machines but 32bit EFIs (2006 macpro in my case) and give us a 64bit EFI update so we can run the new kernel...
I have the same machine and have found out that it's not needed. It doesn't matter if the EFI is 32 or 64 bit cause the machine doesn't run on EFI. It's only for booting and once you get into 64bit mode your good to go. I'm just not sure how the 32bit EFI is going to tell the OS to run in 64bit mode. For that, will probably need some kind small application to initiate it.