İşletim Sistemleri, Çekirdekler ve Dağıtımlar