# ioreg
# show I/O Kit registry (Mac OS X)
# find out the arch of the efi firmware in a Mac
ioreg -l -p IODeviceTree | grep firmware-abi