Los kernels se bajan del foro de Slatedroid. El usuario Omahraum los tiene subidos en un hilo, no te costará encontrarlos (están para c71 y c91)
A partir de 800mghz de max, que es el tope del kernel de stock, ya es overclocking, aunque técnicamente el procesador sea de 1ghz. Y no, no hace falta formatear: Flasheas metiendo sólo el kernel en la carpeta zt-update e iniciando la tablet con power+vol.down, y puedes cambiarlo - o volver al de stock - cuando quieras, sin tocar apps ni configuraciones.
Enviado desde mi Nexus S