Biraz daha araştırma neticesinde sorunun çözümüne ulaştım.
Batarya değişimi yapan kullanıcıların bu tür donmalarda aşağıdaki yolu takip ederek çözüme ulaşabilir
1) Sol üstteki elmaya tıklayarak "bu mac hakkında" sekmesini açıyoruz
2) açılan sekmede sistem raporunu tıklıyoruz
3) karşımıza gelen ekranda model tanıtıcısı karşısındaki yazıyı bir yere not ediyoruz örn: macbookair4,2
4) sistemin yüklü olduğu master drive a geliyoruz (bende Macintosd HD olarak geçiyor.) burada aşağıdaki dosyalara gidiyoruz
Sistem > Kitaplık > Extensions > IOPlatformPluginFamily.kext (*) > Contents > Plugins > ACPI_SMC_PlatformPlugin.kext (*) > Contents > Resources > 3. Satırda not ettiğiniz dosya. Bu dosyayı buradan taşıyıp daha sonra erişebileceğimiz bir klasöre atıyoruz. Resources klasöründe not ettiğiniz isimli dosyayı siliyoruz. Bilgisayarı kapatıp açıyoruz sorun çözülüyor.
(*) belirtilen yerde sağ tıklayıp "paket içeriğini göster" diyoruz