O que acontece quando você volta ao kernel de 32 bits?
O OS X é diferente das janelas, já que o Kernel do SO pode rodar 32 bits e ainda suportar aplicativos de 64 bits e endereçar mais de 4 GB de memória.
O problema de forçar o SL para o modo de 64 bits (ou melhor, por que não é definido por padrão) é que nem todos os kexts (drivers) foram atualizados para serem executados no kernel de 64 bits.
Apenas um palpite.