Gpl(general public license) es la licencia de codigo final abierta a los usuarios y consumidores para modificar algún tipo de software,por ello pueden modificar y hacer el oc a su terminal.
Igualmente no me gusta nada hacer overclocks a los móviles,te puedes arriesgar a perder vida útil de la bateria y a joder el hadware, prefiero meterle software que optimize lo que tenemos que hacer oc,vease kit kat u algun script con smooth para darle fluidez o algo por el estilo.