Llevo la 4.1.2 v6 con semaphore 2.5.0. Cuando más se atasca es cuando está tirando de datos (3g o wifi, da lo mismo), es como si el modem acaparara todos los recursos.
Antes de esta llevaba la 2.3.5 de samsung y me pasaba lo mismo. Le puse ésta y al principio iba bien pero poco a poco se ha ido "congestionando"