Nu har jag iofs inte nämt EFI i överhuvudtaget, inte heller har jag pratat om Snow leopard KERNEL som du verkar göra.
En kernel behöver inte köra i 64 bitars mode för att du ska kunna få 64 bitars stöd, OSX har haft 64 bitars support länge, kom väl i 10.4.
Däremot måste din dator ha EFI64 för att kunna boota KERNELN i 64 bitars läge. Apple har inte 64 bitars kernel ocg 64 bitars boot på någon mac produkt, förutom senaste Xserve.
Även samtliga macbooks har man stängt av den funktionen, ingen vet varför.
Om du vill kolla vilken firmware du har kan du öppna en console:
ioreg -l -p IODeviceTree | grep firmware-abi
Själv har jag en MacPro med Xeon, som är otroligt trevlig 64 bitars processor, men jag kan inte köra 64 bitars för det, får se om apple släpper en firmware uppdatering...
Windows Vista, Windows 7 och Windows XP 64-bit har jag bootat enda sen jag köpte min mac pro för ett par år sen.