Stevie Baby - 2019-03-14

After looking into this a bit further, I this 2 GHz Intel Core 2 Duo model has a 32 bit EFI, confirmed by:

ioreg -l -p IODeviceTree | grep firmware-abi
| | "firmware-abi" = <"EFI32">

Actual processors are ful 64bit.