It may be useful to know whether your Mac has a 32-bit or 64-bit EFI. This can be done by running the following command from an OSX Terminal (can run from the installer or recovery partition):

ioreg -l -p IODeviceTree | grep firmware-abi

This should return something like the following: