Ah ecco, non hai la MIUI di Angelo..
Vabbè, comunque i link in prima pagina non ti servirebbero a nulla, perchè come già detto sono i sorgenti del kernel e non il kernel Thunderbolt per MIUI.
Per il Siyah, devi scaricare la 2.0 perchè è l unica compatibile con le ROM AOSP..
EDIT: Siyah kernel 2.0 scaribile da XDA, è quello definitivo direi, visto che ieri sera ho montato la RC3. Quindi per MIUI e Cyanogen si può installare la versione definitva di questo kernel.