After some searching it appears that EFI boot stub in kernel images is going to be in 3.3. If and how that works with 32-bit or 64-bit Mac EFI firmware is a different question. AFAICS Mac EFI != UEFI.