Como não há atualização de firmware EFI64, a única opção que resta saber se você tem um EFI de 64 bits é executar o seguinte comando:
ioreg -l -p IODeviceTree | grep firmware-abi
Se o resultado for "firmware-abi" = < "EFI64" & gt ;, você terá um EFI de 64 bits. Se o resultado for "firmware-abi" = < "EFI32" & gt ;, então você não possui um EFI compatível com 64 bits.
Este parâmetro afeta apenas o carregamento do kernel pelo Snow Leopard. Você ainda pode executar aplicativos de 64 bits, mas o kernel será executado como 32 bits.