saludos man no te desesperes despues de aplicar el parche para cambiar el nombre de operador por el que tu gustes debes ir al Menu->ajustes->conecctividad->Redes moviles -> nueva busquedad
con esto te hara efecto el parche que cambia el operador por tu nombre
nos vemos
saludos