的确是可以双引导，小米MIUI或Android 4。MIUI可以运行大多数Android Market的App，但PPStream不行，估计是H264 High Profile不支持。我刷成Android 4后，PPStream运行流畅。但在Android 4目前很多中文APP不能运行，比如搜狗拼音，百度手写，等。
总体上，Android 4在小米上运行非常顺畅，我现在都不用MIUI了。