Default Kernel for MIUI v5

Hey I'm using MIUI v5 download from here

And I want to flash a custom kernel.

So my question is: What's kernel can flash in MIUI ?

I know it hard to say it, but Solid kernel ( best kernel I've tried ), AK (fine, but still problem with wakelock ) and some kernel like Neighbourhood Hacker's, Smoothcha, matr1x, Glitch, Mirage... which one can be flash without problem ? Anyone have tried it ?