Good idea, thank you for that. MIUI IMHO is confusing. As for new MIUI v4 only Samy based kernels work (e.g. NEAK, Siyha), however they do. Previous GB MIUI was AOKP based and working with any AOKP kernel (e.g. Fluxxi GB Kernel). So my suggestion would be to mention that
1. Samsung (and MIUI v4)
2. ICS (AOKP/AOSP)
3. GB (and MIUI)
Maybe this is also not entirely true. However, I am a hardcore Miui user and had a hard time finding out that Fluxxi GB was the best Kernel on GB but his new Kernel (ICS AOKP) doesn't work on MIUI v4
Thanks for the suggestion mate, i try of apply it ASAP
Gr8... Buddy now it is easy to find new kernels thanks a lot... Subscribed...
Sent from my GT-I9100 using Tapatalk 2
You're welcome mate, i'm glad of being helpful
Sent from R'lyeh through my SGSII overloaded with Resurrection Remix!