Hello guys
I have upgraded to MIUI v6.4.10 five days ago. It seems more stable with less heat, so far so good.
Regarding the kernel sources, I think we should check the Chinese forums first to be sure these are not fake. I will check and if I find anything about the sources, gonna inform you...