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:
