Modification avec ajout d'un boot EFI 64 bits pour utilisation avec des MAC

F.Boisson 31 Juillet 2013

Changes and stuffs to boot with EFI 64 bits (use with Mac).
See http://clefagreg.dnsalias.org/8.0/