Las diferencias entre miui.com y miuiandroid.com son pocas, las ha traducido un equipo diferente y creo que eliminan alguna app del mercado chino que no puede usarse en el mercado europeo/americano, por lo demás es la misma rom.
Si quieres instalarla en castellano instalas primero la rom, luego el pack de idiomas, haces todos los wipes y reinicias. El kernel no es necesario es sólo para conseguir overclock y sweep2wake. Si el enlace está caido puedes encontrar la ultima versión en el foro de XDA.