Buenos días slimmaniacos y flashadictos varios!
Limpiadores de kernel y de ROM:
http://www.htcmania.com/showthread.php?p=4530822
Si te va bien el kernel de serie mi consejo es que lo dejes. Pero si quieres probar no hay ningún problema: los kernel para esta ROM a día de hoy son todos seguros: siyahv5 y siyahv4, dorimanx y CM10.1.
Como te indican anteriormente el dorimanx sí soporta dualboot, pero no con ROM basadas en Samsung 4.1.2. Por ello, si metes la slim, que no sea con una de este tipo.
El kernel ya viene con la ROM, pero si quieres cambiarlo, efectivamente se hace como todo: flasheando desde recovery el zip correspondiente.
