El script va con la ROM y no hay demasiadas ROMs que lo lleven (de las últimas que he probado sólo las de Neo y la última de baadnwz).
De todas formas da igual, actualmente casi todos los kernels (o todos) tienen la posibilidad de overclockearse, ya que la gente que los desarrolla sabe que subiendo un poco la velocidad y bajando algo el voltaje no suele haber problemas y el rendimiento del terminal es claramente superior.
Lo normal cuando instalas una ROM es no tocar nada si va bien y no da problemas, y en caso de tenerlos (referentes a estabilidad) lo mejor es cambiarlo por uno que tenga menos OC o un voltaje mayor y probar la mejor configuración con el SetCPU (que no tiene por qué ser la misma en dos terminales distintos, de ahí la necesidad de probar distintas configuraciones).
Luego estamos los enfermos que, pese a funcionar todo correctamente, sentimos el impulso irrefenable de flashear cosas, apurar las configuraciones y porqué no decirlo, meter la pata más de una vez ).
No, en serio, si flasheas una ROM y te va bien no es necesario que cambies el kernel (da igual que esté un poco overclockeado como el caso de esta ROM) a no ser que busques más rendimiento o menos consumo (a costa de velocidad, obviamente).
