This is a small c program to create bootable 64 bit linux disks for 32 bit EFI Macbooks (assuming they have 64 bit processors)
See these resources for background and original postings:
https://bugs.launchpad.net/ubuntu-cdimage/+bug/1298894
https://mattgadient.com/linux-dvd-images-and-how-to-for-32-bit-efi-macs-late-2006-models/
https://askubuntu.com/questions/37999/what-is-different-about-the-mac-iso-image#answers