A mi me pasó con el galaxy mini de una amiga, le flasheabamos una stock rom, aparentemente hacía todo el proceso perfecto y cuando iniciabamos el móvil, seguía todo igual, con todo lo de orange y demás.
No tuvimos más remedio que pasar de la stock y meterle cyanogenmod