si quieres un kernel para una rom de stock te recomiendo este
http://www.htcmania.com/showthread.php?t=998107 .
el kernel de 1 ghz de vez en cuando se reiniciaba el terminal y con la que te he puesto la llevo usando un par de semanas y va perfecto ademas de tener un poco mas de oc y yo creo que ahora consume menos ram.