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
Sent from R'lyeh through my SGSII overloaded with Resurrection Remix!