Com um kernel rodando no modo de 64 bits, o kernel pode ser um pouco mais rápido - mas não é provável que você perceba isso.
Aplicativos de 64 bits são executados no modo de 64 bits no OS X (e podem acessar todos os 8GB de sua RAM) mesmo se o kernel estiver no modo de 32 bits, então realmente não vejo o ponto de trocar de kernel .