por lo que expones llevas el kernel original stock....
lo unico que te queda por comprobar es si esta rooteado y tiene el bootloader abierto....
aun asi si tuviese el bootloader abierto,no tienen porque descartartelo a menos que el problema venga directamente por haberlo desbloqueado (que no seria el caso)