Salve a tutti, sto usando sul mio mi4 la v10 di miui italia, però sinceramente vorrei cambiare kernel .. perché comunque con quello stock scalda o gestisce male tutto, qualcuno di voi mi potrebbe consigliare un ottimo kernel ? non dovrei avere problemi a cambiarlo giusto?
