ターミナルで、以下のコマンドを入力すると、使用しているMacのEFIが32ビットか64ビットかを確認できるそうです。
ioreg -l -p IODeviceTree | grep firmware-abi
