right. the 64 bit kernel is the million dollar question. but the kernel will conceivably load before EFI and may not be affected at all by the 32 bit EFI. we'll have to wait and see. but, yeah, search. I brought this question up a month or so ago, and there's a ton of good info in that thread.