Die Existenz eines Pakets namens grub-efi in Debian bedeutet wohl ein "Ja."
EFI wird jedoch erst von GRUB2 unterstützt, während manche Distros noch den alten GRUB standardmäßig aufspielen wollen. In dem Fall müsstest du GRUB wohl von OS X aufspielen. Oder du kannst die Notwendigkeit evtl. mit Boot Camp umgehen.
Was das betrifft, kann ich aber nicht weiterhelfen.