ターミナルで次のコマンドを実行すると、Intel Mac の EFI が 32bit か 64bit であるか表示されます。

ioreg -l -p IODeviceTree | grep firmware-abi