[Alister]

No amigo el kernel es el corazon de la rom eso solo lo puedes modificar programando lo que si puedes hacer es agregarle tweaks a tu rom como los xloud, bravahia engine, beats audio, adrenaline 3.1 y mas para mejorar el rendimiento de tu mini.....