pues no se si hay un listado de kernel,ya ke muchas roms cocinadas ya tran un kernel modificado.hay gente ke prueba con diferentes kernel.para cambiar de kernel hay ke instalarlo como se instala una rom cocinada(osea desde el recovery)pero ten encuenta en poner el mas apropiado para tu rom porke puede no ser compatible.te dejo aki un hilo donde se habla del overcloking:
http://www.htcmania.com/showthread.php?t=242607