OSX is a 64bit operating system
ioreg -l -p IODeviceTree | grep firmware-abi
| | "firmware-abi" = <"EFI64">
So i do get the full effect with the 64bit operating system, and BackTrack i think also comes in a 64bit flavor though 32bit for that isn't a problem.