Eso es. Yo suelo llamar a las stock roms a aquellas que sirven las operadoras y que se suelen bajar de samfirmware y roms cocinadas a aquellas que están basadas en las stock, pero con algunos scripts, personalizaciones y demás modificaciones que por norma general, suelen mejorar el comportamiento de una stock.
Sobre los kernels para Cyanogen/MIUI, tienes un post con chincheta en el subforo de ROMS, donde se encuentran todos con sus respectivos enlaces. Además, ahí mismo, también hay información por si quieres meterte en el tema del undervolt/underclock.