I couldn't find a better place to put this post, and everyone here seems to be super knowledgable, so I thought I would give it a shot. I have an old MacPro 2,1, so 32 bit EFI. I know there are tons of methods to get the 64 bit kernel running anyway (Piker-Alpha, Clover, Tiamo's, ect..) but is...