Io ho sempre usato quella di Miuiandroid che si aggiorna settimanalmente, al massimo da Xda puoi prendere altri Kernel che nel primo post sono segnalati. Al momento ho lasciato quello della Miui 3.8.16 oggi uscirà la 3.8.23, ricordati poi di scaricare le gapps giuste quelle x JB 4.2.2.