grubx64.efi est la « core image » de GRUB au format EFI x86 64 bits qui est chargée par le firmware au démarrage comme spécifié dans l’entrée d’amorçage Boot000 qui est en premier dans l’ordre d’amorçage.
grub.efi et core.efi servent lors du processus d’installation du chargeur GRUB. L’un des deux est une copie (ou plutôt l’original) de grubx64.efi. Ils ne sont pas utilisés lors du processus de démarrage.
Il faudrait demander à la commande file ce qu’elle pense du contenu de ce fichier.
Je n’en vois pas l’intérêt puisque GRUB peut les lire directement depuis leurs partitions HFS+. Par contre il se peut que ces exécutables s’attendent à trouver d’autres fichiers dans le répertoire courant ou au voisinage et ne fonctionnent pas si tu ne copie que le fichier. D’autre part, il ne serait pas modifié en cas de mise à jour du fichier originel par Mac OS X, ce qui pourrait causer une incohérence, comme quand on copie la core image de GRUB à un autre emplacement.
En fait le noyau Linux est amorcé par GRUB. GRUB amorce les noyaux des autres systèmes Linux détectés de la même façon que le noyau du système qui l’a installé (contrairement à d’autres systèmes comme Windows qu’il amorce par chaînage de leurs chargeur respectifs). Il a visiblement cherché à faire de même avec Mac OS X en amorçant directement son noyau XNU/Mach avec ses commandes xnu_*, mais apparemment ça n’a pas marché. Peut-être que cette méthode ne fonctionne pas en mode EFI, mais encore une fois c’est pure supposition car je ne connais rien au Mac.