Si, el kernel Vengeance si que permite el overclock, como casi todos los kernels cocinados, yo soy de tu opinion, por ponerlo a 1.2 aunque acorte la vida del micro no me preocupa mucho puesto que normalmente los terminales los acabas cambiando antes, bien porque te guste otro, porque se te rompa algo, por aprovechar una portabilidad y no conozco a nadie que se le haya quemado el micro....
, tampoco voy a ponerlo a 1.7 o 1.9....
Yo por el precio que cuesta recomiendo liberarlo, facilita mucho las cosas (overclokc, swapper, preroteado, CWM, un sinfin de gobernadores....etc...)