A me l'OC a 1200 da problemi con tutti i kernel delle rom moddate samsung...
quindi di base lo lascio fisso a 1000 in quanto altrimenti mi va spessissimo in FC con riavvi continui...fai una prova e se non ti riavvia più è quello altrimenti è il launcher che cmq essendo sempre un porting non è stabile al 100%