I'm having some trouble booting into 64bit kernel. I have a 2009 mac mini with 64bit EFI, 64bit Proc, 64bit kernel... I've tried holding down 6+4 on boot, I've used the app 32-64 kernel selector, and tried manually updating the plist. still shows 32bit EVEN though the plist says its 64bit. Any ideas?