Thanks very much. But when you say "update kernel", is there anything specific that needs to be enabled (or disabled) in the kernel sources, or just update with MIUI prebuilt kernel?
Many Xiaomi devices suffer from this problem, and it would be great if twrp can easily be updated for all these...